Computational Logic
Subtitle: Essays in Honor of Alan Robinson
Contributors: Jean-Louis Lassez (Editor); Gordon Plotkin (Editor)
Publisher: The MIT Press
Published: October 8, 1991
Language: eng
Format: Hardcover
Number of pages: 735
ISBN-13: 9780262121569
Subjects: Computer Programming; Mathematical theory of computation; Artificial Intelligence; Computer Logic; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Computer Science; Computers / Computer Science; (John Alan); Automatic theorem proving; Logic programming; Robinson, J. A; Robinson, J. A.