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
Dec 07, 2009
Jul 01, 2008
Meta-Logics and Logic Programming
Mar 17, 2003
Jan 01, 2003
A Grammatical View of Logic Programming
Jan 01, 2003
Nov 08, 1999
May 27, 1998
Oct 10, 1997
Jul 09, 1997
Aug 14, 1996
Dec 28, 1995
Dec 11, 1995
Jun 16, 1995
Oct 25, 1994
Jul 24, 1994
The Gödel Programming Language
Apr 05, 1994
Mar 10, 1994
Oct 13, 1993
Jun 24, 1993
Concurrent Constraint Programming
Mar 22, 1993
Mar 02, 1993
Oct 27, 1992
Jun 12, 1992
Foundations of Disjunctive Logic Programming
Apr 17, 1992
Oct 03, 1991
Aug 12, 1991
Jul 25, 1991
Jun 17, 1991
Feb 04, 1991
Nov 07, 1990
May 22, 1990
Apr 12, 1990
Nov 03, 1989
Oct 05, 1989
Meta-Programming in Logic Programming
Oct 04, 1989
Jun 14, 1989
Logic-Based Knowledge Representation
Apr 12, 1989
Constraint Satisfaction in Logic Programming
Mar 23, 1989
Aug 15, 1988
Aug 15, 1988
Dec 28, 1987
Sep 11, 1987
Aug 27, 1986