Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
2006
QA76.9.A96 N38 2006eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
Meeting Name
ISBN
1586036254
9781586036256
9781586036256
Publication Details
Amsterdam ; Washington, DC : IOS Press, c2006.
Language
English
Description
vii, 445 p.
Call Number
QA76.9.A96 N38 2006eb
Dewey Decimal Classification
511.3
Note
"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
"Published in cooperation with NATO Public Diplomacy Division."
"Published in cooperation with NATO Public Diplomacy Division."
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Series
NATO science series. Series III, Computer and systems sciences ; v. 200.
Linked Resources
Record Appears in