Proof and computation /
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 139. |
| Subjects: |
| Item Description: | "Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso. "Published in cooperation with NATO Scientific Affairs Division." |
|---|---|
| Physical Description: | 470 p. : ill. ; 25 cm. |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 3540585818 (acid-free paper) |