Principles of logic and logic programming /

Bibliographic Details
Main Author: Metakides, George, 1945-
Other Authors: Nerode, Anil, 1932-
Format: Book
Language:English
Published: Amsterdam ; New York : Elsevier, 1996.
Series:Studies in computer science and artificial intelligence ; 13.
Subjects: