Foundations of logic programming /

Foundations of logic programming /

Show other versions (1)

Bibliographic Details
Main Author:	Lloyd, J. W (John Wylie), 1947-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984 Berlin ; New York : 1984
Series:	Symbolic computation Artificial intelligence Symbolic computation Artificial intelligence Symbolic computation Artificial intelligence.
Subjects:	Computer programming Logic programming Logic, Symbolic and mathematical Programming languages (Electronic computers) > Semantics

Internet

Stanford University

Holdings details from Stanford University
Call Number:	ISIL:US-CST QA76.6 .L583 1984

Yale University

Holdings details from Yale University
Call Number:	QA76.6 L583 1984 (LC)

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.6.L5830 1984

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.6.L583 1984

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA76.6 .L583 1984

Harvard University

Holdings details from Harvard University
Call Number:	QA76.6 .L583 1984

Duke University

Holdings details from Duke University
Call Number:	QA76.6 .L583 1984

Cornell University

Holdings details from Cornell University
Call Number:	QA76.6 .L79

Princeton University

Holdings details from Princeton University
Call Number:	QA76.6 .L583 1984

Columbia University

Holdings details from Columbia University
Call Number:	QA76.6 .L583 1984

Brown University

Holdings details from Brown University
Call Number:	QA76.6 .L583 1984