Author(s)
Bibliographic Information
Logic programming
MIT Press
Search this Book/Journal
Note
Continued:MIT Press in logic programming
-
1
- Logic programming : proceedings of the 1999 International Conference on Logic Programming
-
edited by Danny De Schreye
MIT Press c1999 Logic programming
Available at 18 libraries
-
2
- Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
-
edited by Joxan Jaffar
MIT Press c1998 Logic programming
Available at 18 libraries
-
3
- Logic programming : proceedings of the 1997 international symposium
-
edited by Jan Małuszyński
MIT Press c1997 Logic programming (Research reports and notes)
Available at 9 libraries
-
4
- Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming
-
edited by Lee Naish
MIT Press c1997 Logic programming
Available at 15 libraries
-
5
- Inductive logic programming : from machine learning to software engineering
-
Francesco Bergadano and Daniele Gunetti
MIT Press c1996 Logic programming
Available at 33 libraries
-
6
- Meta-logics and logic programming
-
edited by Krzysztof R. Apt and Franco Turini
MIT Press c1995 Logic programming
Available at 22 libraries
-
7
- Logic programming : proceedings of the Twelfth International Conference on Logic Programming
-
edited by Leon Sterling
MIT Press c1995 Logic programming
Available at 21 libraries
-
8
- The Gödel programming language
-
Patricia Hill, John Lloyd
MIT Press c1994 Logic programming
Available at 35 libraries
-
9
- A grammatical view of logic programming
-
Pierre Deransart and Jan Małuszyński
MIT Press c1993 Logic programming
Available at 32 libraries
-
10
- Logic programming : proceedings of the 1993 International Symposium
-
edited by Dale Miller
MIT Press c1993 Logic programming
Available at 18 libraries
-
11
- Logic programming : Proceedings of the Tenth International Conference on Logic Programming
-
edited by David S. Warren
MIT Press c1993 Logic programming
Available at 23 libraries
-
12
- Logic programming languages : constraints, functions, and objects
-
edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten
MIT Press c1993 Logic programming
Available at 21 libraries
-
13
- Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming
-
edited by Krzysztof Apt
MIT Press c1992 Logic programming
Available at 23 libraries
-
14
- Types in logic programming
-
edited by Frank Pfenning
MIT Press c1992 Logic programming
Available at 23 libraries
-
15
- Foundations of disjunctive logic programming
-
Jorge Lobo, Jack Minker, Arcot Rajasekar
MIT Press c1992 Logic programming
Available at 26 libraries
-
16
- Logic programming : proceedings of the 1991 international symposium
-
edited by Vijay Saraswat and Kazunori Ueda
MIT Press c1991 Logic programming
Available at 23 libraries
-
17
- Warren's abstract machine : a tutorial reconstruction
-
Hassan Aït-Kaci
MIT Press c1991 Logic programming
: hc. , : pbk.
Available at 17 libraries
-
18
- Logic programming : Proceedings of the eighth International Conference
-
edited by Koichi Furukawa
MIT Press c1991 Logic programming
Available at 29 libraries
-
19
- Eco-logic : logic-based approaches to ecological modelling
-
David Robertson ... [et al.]
MIT Press c1991 Logic programming
Available at 11 libraries
-
20
- Logic programming : proceedings of the 1990 North American conference
-
edited by Saumya Debray and Manuel Hermenegildo
MIT Press c1990 Logic programming
: pbk.
Available at 18 libraries