Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data 001    UPD-00000170664 005    20090716221700.0 008    080209s1993 ge 000 eng 020 ## $a3540573224 041 ## $aeng 042 ## $aDMLUC 090 ## $aQ 334$bI58 1992 245 10 $aArtificial intelligence and symbolic mathematical computing :$bInternational Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : 260 ## $aBerlin :$bSpringer-Verlag,$cc1993. 300 ## $a305 p. 490 1# $aLecture notes in computer science ;$c737 650 ## $a*Artificial intelligence$kCongresses. 650 ## $aLogic, Symbolic and mathematical$kCongresses. 700 ## $aCalmet, Jacques. 700 ## $aCampbell, John A.$d1940- 111 ## $aInternational Conference AISMC-1 (1992 : Karlsruhe, Germany) 760 ## $aLecture notes in computer science ; 737 905 ## $aFO 950 ## $aPaper 852 ## $aUP$bDENG$hQ 334 I58 1992$pUDEGB0016997$rRegular Circulation$xE-29529 852 ## $aUP$bDENG$hQ 334 I58 1992$pUDEGB0016270$rRegular Circulation$xE-ESEP-5189 852 ## $aUP$bDENG$hQ 334 I58 1992$pUDEGB0016997$rRegular Circulation$xE-29529 852 ## $aUP$bDENG$hQ 334 I58 1992$pUDEGB0016270$rRegular Circulation$xE-ESEP-5189 842 ## $aBook           Physical Location University of the Philippines Diliman: College of Engineering Library I Q 334 I58 1992           Digital Copy Not Available          Add to Book Cart  |   Download MARC