Author: CALMET, JACQUES & CAMPBELL, JOHN A. (EDS.)
Title: Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings (Lecture Notes in Computer Science 737)
Description: Berlin, Springer-Verlag. 1993. (ISBN: 9780387573229). Paperback. Ex-Library, Lecture Notes in Computer Science 737; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Very Good/No Dust Jacket.

Keywords: Artificial Intelligence Logic Symbolic Mathematical 9780387573229


See more books from our catalog: Computers & Technology (Incl. Ai)