Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000177744 Date and Time of Latest Transaction 20090716222109.0 General Information 080209s1995 gw a b 100 0 eng International Standard Book Number 3540590471 Cataloging Source DENG Language Code eng Local Call Number TK 7874.65 T54 1995 Title Statement Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds Physical Description viii, 303 p. Series Statement/Added Entry - Title Lecture notes in computer science ; 901 Subject Added Entry - Topical Term Digital integrated circuits -- Design and construction -- Data processing -- Congresses   Automatic theorem proving -- Congresses   Computer-aided design -- Congresses Added Entry - Personal Name Kumar, Ramayya, 1957-   Kropf, Thomas, 1961- Added Entry - Meeting Name International Conference on Theorem Provers in Circuit Design (2nd : 1994 : Bad Herrenalb, Germany) Collection Category O Format onograph Location UP DENG-II TK 7874.65 T54 1995 UDEGB0034975 Regular Circulation E-ESEP-2731 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library II TK 7874.65 T54 1995           Digital Copy Not Available          Add to Book Cart  |   Download MARC