Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data 001    UPD-00000177744 005    20090716222109.0 008    080209s1995 gw a b 100 0 eng 020 ## $a3540590471 040 ## $aDENG 041 ## $aeng 090 ## $aTK 7874.65$bT54 1995 245 00 $aTheorem provers in circuit design :$btheory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /$cRamayya Kumar, Thomas Kropf, eds. 260 ## $aBerlin :$bSpringer-Verlag,$cc1995. 300 ## $aviii, 303 p. 440 #0 $aLecture notes in computer science ;$v901 650 #0 $aDigital integrated circuits$xDesign and construction$xData processing$vCongresses. 650 #0 $aAutomatic theorem proving$vCongresses. 650 #0 $aComputer-aided design$vCongresses. 700 10 $aKumar, Ramayya,$d1957- 700 10 $aKropf, Thomas,$d1961- 711 20 $aInternational Conference on Theorem Provers in Circuit Design$n(2nd :$d1994 :$cBad Herrenalb, Germany) 905 ## $FO 950 ## $Monograph 852 ## $aUP$bDENG-II$hTK 7874.65 T54 1995$pUDEGB0034975$rRegular Circulation$xE-ESEP-2731 842 ## $aBook           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