Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.

Saved in:

Bibliographic Details
Main Author:	Metakides, George, 1945-
Other Authors:	Nerode, Anil, 1932-, Sinachopoulos, A. (Aneta)
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.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.63 .M473 1996
QA76.63 .M473 1996	Available Place a Hold