Author: BURCKERT. H.-J.
Title: A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Artificial Intelligence 568)
Description: Berlin, Springer-Verlag. 1991. (ISBN: 9780387550343). Paperback. Ex Library, Lecture Notes in Artificial Intelligence 568. Ex-Library. Previous owner's sticker on front cover. Ink stamp on half-title. 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. Good/No Dust Jacket.

Keywords: 9780387550343


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