Principles of logic and logic programming /

Saved in:
Bibliographic Details
Main Author: Metakides, George, 1945-
Other Authors: Nerode, Anil, 1932-, Sinachopoulos, A. (Aneta)
Format: Book
Language:English
Published: Amsterdam ; Oxford : Elsevier, 1996.
Series:Studies in computer science and artificial intelligence ; 13
Subjects:
Description
Physical Description:xiii, 329 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references (p. 311-317) and indexes.
ISBN:0444816445 (cased) :