Cover Image

Principles of logic and logic programming /

Show other versions (1)
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:
Logic programming.
Logic, Symbolic and mathematical.
Description
Physical Description:xiii, 329 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 311-317) and indexes.
ISBN:0444816445