Proof technology and computation /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Published: |
Amsterdam:
IOS Press,
c2006
|
| Series: | NATO science series. Series III, Computer and systems sciences;
v.200 |
| Subjects: |
| Item Description: | "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003". |
|---|---|
| Physical Description: | vii, 445 p. : fig. ; 25 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 1586036254 |