Logic Programming
The MIT Press Series in Logic Programming was created to accommodate the tremendous growth in the logic programming approach to computing and to support it through the publication of high-quality textbooks, monographs, collections, and proceedings in logic programming. This series is no longer active, and the MIT Press is no longer accepting proposals for books in the series.
Series editor: Ehud Y. Shapiro
Search Results
The Craft of Prolog
Pub Date: Dec 07, 2009
Constraint Logic Programming
Pub Date: Jul 01, 2008
Meta-Logics and Logic Programming
Pub Date: Mar 17, 2003
The Practice of Prolog
Pub Date: Jan 01, 2003
A Grammatical View of Logic Programming
Pub Date: Jan 01, 2003
Logic Programming
Pub Date: Nov 08, 1999
Logic Programming
Pub Date: May 27, 1998
Logic Programming
Pub Date: Oct 10, 1997
Logic Programming
Pub Date: Jul 09, 1997
Logic Programming
Pub Date: Aug 14, 1996
Inductive Logic Programming
Pub Date: Dec 28, 1995
Logic Programming
Pub Date: Dec 11, 1995
Logic Programming
Pub Date: Jun 16, 1995
Logic Programming
Pub Date: Oct 25, 1994
Logic Programming
Pub Date: Jul 24, 1994