Proof and computation
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
Berlin
Springer
1995
|
| Series: | NATO ASI series. Series F, Computer and systems sciences
vol. 139 |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag | 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 |
Proof Knowledge In Mathematics