Author: EISINGER, NORBERT
Title: Completeness, Confluence, and Related Properties of Clause Graph Resolution
Description: London, Pitman Medical. 1991. (ISBN: 9780273088400). Paperback. Used, Paperback with shelfworn covers, and slightly scuffed spine. Interior excellent, with clean, sound pages and clear text throughout. TS. Very Good.

Keywords: 9780273088400


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