Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck.
by Van Hentenryck, Pascal | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Mass : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
by Rutten, J. J. M. M | Bakker, J. W. de (Jacobus Willem), 1939- | Apt, Krzysztof R, 1949- | MIT Press [publisher.] | IEEE Xplore (Online Service) [distributor.] .
Material type: Book; Format:
available online
Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Publisher: Cambridge, Massachusetts : MIT Press, c1993Online access: Abstract with links to resource Availability: No items available
Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci.
by A�it-Kaci, Hassan, 1954- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd.
by Lloyd, John | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | International Logic Programming Symposium (1995) .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: ILPS '95.Online access: Abstract with links to resource Availability: No items available
Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti.
by Bergadano, Francesco, 1963- | Gunetti, Daniele | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren.
by International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) | Warren, David S | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | Bull Hungary.
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / edited by by Leon S. Sterling.
by Sterling, Leon S [editor.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Logic Programming Conference (12th : 1995 : Tokyo, Japan) .
Material type: Book; Format:
available online
Publisher: [Cambridge, Massachusetts] : MIT Press, [1995]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian.
by Nerode, Anil, 1932- | Marek, Wiktor | Subrahmanian, V. S | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming.
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [1991]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish.
by International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) | Naish, Lee, 1960- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ICLP '97.Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the 1997 International Symposium / edited by Jan Ma�uszy�nski.
by Ma�uszy�nski, J. (Jan), 1941- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.) .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ILPS '97.Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher.
by Maher, Michael, 1959- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts ; MIT, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Other title: JICSLP '96 | Joint International Conference and Symposium on Logic Programming | Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Online access: Abstract with links to resource Availability: No items available
Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye.
by De Schreye, Danny | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
From logic to logic programming / Kees Doets.
by Doets, Kees [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available