Proof and computation /
Salvato in:
| Enti autori: | , |
|---|---|
| Altri autori: | |
| Natura: | Atti del Convegno Libro |
| Lingua: | English |
| Pubblicazione: |
Berlin ; New York :
Springer,
c1995.
|
| Serie: | NATO ASI series. Computer and systems sciences ;
no. 139. |
| Soggetti: |
| Descrizione del documento: | "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." |
|---|---|
| Descrizione fisica: | 470 p. : ill. ; 25 cm. |
| Bibliografia: | Includes bibliographical references. |
| ISBN: | 3540585818 (acid-free paper) |