Central Library

Your search returned 9 results. Subscribe to this search

Unhighlight Highlight
|
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 Book; Format: available online remote 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 : 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]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 Book; Format: available online remote 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