Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data 001    UPD-00000177161 005    20090716221447.0 008    040315s1995 gw a 100 0 eng 020 ## $a3540601783 040 ## $aDENG 041 ## $aeng 090 ## $aQA 9$bA1 L64 1995 245 00 $aLogic and computational complexity :$binternational workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /$cDaniel Leivant, ed. 260 ## $aBerlin :$bSpringer,$cc1995. 300 ## $aviii, 514 p. :$bill. 650 #0 $aLogic, Symbolic and mathematical$vCongresses. 650 #0 $aComputational complexity$vCongresses. 700 1# $aLeivant, Daniel Maurice Raphael. 905 ## $aFO 950 ## $aMonograph 852 ## $aUP$bDENG$hQA 9 A1 L64 1995$pUDEGB0015457$rRegular Circulation$xE-ESEP-1861 852 ## $aUP$bDENG$hQA 9 A1 L64 1995$pUDEGB0015458$rRegular Circulation$xE-ESEP-1862 852 ## $aUP$bDENG$hQA 9 A1 L64 1995$pUDEGB0015457$rRegular Circulation$xE-ESEP-1861 852 ## $aUP$bDENG$hQA 9 A1 L64 1995$pUDEGB0015458$rRegular Circulation$xE-ESEP-1862 842 ## $aBook           Physical Location University of the Philippines Diliman: College of Engineering Library I QA 9 A1 L64 1995           Digital Copy Not Available          Add to Book Cart  |   Download MARC