Principles of logic and logic programming/

Main Author: Metakides, G.
Other Authors: Nerode, Anil
Format: Book
Published: Amsterdam :$cElsevier, 1996
Series:Studies in computer science and artificial intelligence ; 13
Subjects:
Item Description:With the cooperation of A. Sinachopoulos
Physical Description:xiii, 329 p. ; ; 24 cm.
Bibliography:Includes bibliographical references, index of symbols, index of terms
ISBN:0444816445