Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00043083760 Date and Time of Latest Transaction 20090717043034.0 General Information 060523s2006 ne b 101 0 eng d International Standard Book Number 1586036254 International Standard Serial Number 13876694 Cataloging Source DENGII Language Code eng Local Call Number QA 76.9 A96 N38 2006 Main Entry - Meeting Name NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Title Statement Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies Physical Description vii, 445 p Series Statement/Added Entry - Title NATO science series. Series III, Computer and systems sciences, v. 200 General 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." Subject Added Entry - Topical Term Automatic theorem proving -- Congresses   Computer programming -- Congresses   Computer software -- Development -- Congresses Added Entry - Personal Name Schwichtenberg, Helmut, 1942-   Spies, Katharina Collection Category FO Format Monograph Location UP DENG-II QA 76.9 A96 N38 2006 E2000000468 Regular Circulation v. 200 2006 E2-347 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library II QA 76.9 A96 / N38 2006           Digital Copy Not Available          Add to Book Cart  |   Download MARC