Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000170664 Date and Time of Latest Transaction 20090716221700.0 General Information 080209s1993 ge 000 eng International Standard Book Number 3540573224 Language Code eng Authentication Code DMLUC Local Call Number Q 334 I58 1992 Title Statement Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : Publication, Distribution, Etc. Berlin : Springer-Verlag, c1993 Physical Description 305 p. Series Statement Lecture notes in computer science ; 737 Subject Added Entry - Topical Term *Artificial intelligence -- Congresses   Logic, Symbolic and mathematical -- Congresses Added Entry - Personal Name Calmet, Jacques.   Campbell, John A., 1940- Main Entry - Meeting Name International Conference AISMC-1 (1992 : Karlsruhe, Germany) Main Series Entry Lecture notes in computer science ; 737 Collection Category FO Format Paper Location UP DENG Q 334 I58 1992 UDEGB0016997 Regular Circulation E-29529   UP DENG Q 334 I58 1992 UDEGB0016270 Regular Circulation E-ESEP-5189   UP DENG Q 334 I58 1992 UDEGB0016997 Regular Circulation E-29529   UP DENG Q 334 I58 1992 UDEGB0016270 Regular Circulation E-ESEP-5189 Textual Physical Form Designator Book           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