Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 184 results
Introduction to logic programming / Christopher John Hogger.
- Text
- London ; Orlando : Academic Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Book/text JSE 87-913 Offsite Parallel execution of logic programs / by John S. Conery.
- Text
- Boston : Kluwer Academic Publishers, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Book/text JSE 87-1143 Offsite Logic programming / edited by K.L. Clark and S.-A. Tärnlund.
- Text
- London ; New York : Academic Press, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Book/text L-10 7383 no. 16 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
From logic design to logic programming : theorem proving techniques and P-functions / Dominique. Snyers, André Thayse.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Book/text JSE 87-2161 Offsite Logic programming and its applications / edited by Michel van Caneghem and David H.D. Warren.
- Text
- Norwood, N.J. : Ablex Pub. Corp., c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Book/text JSE 88-1670 Offsite Foundations of deductive databases and logic programming / edited by Jack Minker ; contributors, Krzysztof R. Apt ... [et al.].
- Text
- Los Altos, Calif. : M. Kaufmann Publishers, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Book/text JSE 88-2282 Offsite From standard logic to logic programming : introducing a logic based approach to artificial intelligence / editor André Thayse ; authors, Paul Gochet...[et al.] ; with the collaboration of Philippe Delsarte.
- Text
- Chichester [England] ; New York : Wiley, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Book/text JSE 88-1246 Offsite Logic-based knowledge representation / Peter Jackson, Han Reichgelt, Frank van Harmelen.
- Text
- Cambridge, Mass. : MIT Press, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/text JSE 89-1796 Offsite Logic grammars : with 40 illustrations / Harvey Abramson, Veronica Dahl.
- Text
- New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/text JSE 90-705 Offsite From modal logic to deductive databases : introducing a logic based approach to artificial intelligence / editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte.
- Text
- Chichester ; New York : Wiley, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/Text JSF 90-498 Offsite Prolog versus you : an introduction to logic programming / Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/text JSE 90-1728 Offsite Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri.
- Text
- Berlin ; New York ; Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/text JSF 90-99 Offsite Foundations of equational logic programming / Steffen Holldobler.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/text JSF 89-785 Offsite Computing in Horn clause theories / Peter Padawitz.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Book/text JSE 88-828 Offsite Constraint satisfaction in logic programming / Pascal Van Hentenryck.
- Text
- Cambridge, Mass. : MIT Press, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/text JSE 90-2281 Offsite An introduction to default logic / Philippe Besnard.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 90-1124 Offsite Parallel computers : object-oriented, functional and logic / edited by P.C. Treleaven.
- Text
- Chichester ; New York : Wiley, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Book/text JSF 91-176 Offsite Meta-programming in logic programming / edited by Harvey Abramson and M.H. Rogers.
- Text
- Cambridge, Mass. : MIT Press, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 91-792 Offsite Termination proofs for logic programs / Lutz Plümer.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Book/text JSF 90-942 Offsite Logic programming and databases / S. Ceri, G. Gottlob, L. Tanca.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 91-1766 Offsite A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Book/text JSF 92-129 Offsite Conclog : a methodological approach to concurrent logic programming / J.-M. Jacquet.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Book/text JSF 92-89 Offsite Artificial intelligence in simulation / Iván Futo, Tamás Gergely.
- Text
- New York : E. Horwood, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 92-844 Offsite A fuzzy PROLOG database system / Deyi Li and Dongbo Liu.
- Text
- Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 92-1761 Offsite Logic programming : Prolog and stream parallel languages / J.D. Newmarch.
- Text
- New York : Prentice Hall, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 92-1560 Offsite Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin.
- Text
- Cambridge, Mass. : MIT Press, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Book/text JSF 93-81 Offsite Inductive logic programming / edited by Stephen Muggleton.
- Text
- London ; San Diego : Academic Press in association with Turing Institute Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 93-1057 Offsite The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSF 93-790 Offsite Logic programming : operational semantics and proof theory / James H. Andrews.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSF 93-810 Offsite Parallel logic programming / Akikazu Takeuchi.
- Text
- New York : Wiley, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 94-78 Offsite Types in logic programming / edited by Frank Pfenning.
- Text
- Cambridge, Mass. : MIT Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 94-119 Offsite Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.
- Text
- Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-
- 1993-present
- 6 Items
Item details Format Call Number Item Location PRINT JSL 94-74 Schwarzman Building - Main Reading Room 315 Not available - Please for assistance.Item details Format Call Number Item Location Book/text JSL 94-74 Offsite Item details Format Call Number Item Location PRINT JSL 94-74 Schwarzman Building - Main Reading Room 315 Not available - Please for assistance.Foundations of disjunctive logic programming / Jorge Lobo, Jack Minker, Arcot Rajasekar.
- Text
- Cambridge, Mass. : MIT Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 94-202 Offsite Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer.
- Text
- Cambridge, Mass. : MIT Press, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 94-293 Offsite The clausal theory of types / D.A. Wolfram.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Book/Text JSF 95-820 Offsite Logic program synthesis from incomplete information / by Pierre Flener.
- Text
- Boston : Kluwer Academic Publishers, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-126 Offsite Applications of logic databases / edited by Raghu Ramakrishnan.
- Text
- Boston : Kluwer Academic, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-161 Offsite Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz / Clemens Beckstein.
- Text
- Berlin ; New York : Springer, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Book/Text JSF 95-143 \ Offsite Cooperating heterogeneous systems / David G. Schwartz.
- Text
- Boston : Kluwer Academic, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-619 Offsite Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-1644 Offsite Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plümer.
- Text
- Amsterdam ; New York : Elsevier, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-905 Offsite Advanced logic programming for language processing / Patrick Saint-Dizier.
- Text
- London ; San Diego : Academic Press, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-1341 Offsite Loop checking in logic programming / R.N. Bol.
- Text
- Amsterdam, the Netherlands : CWI, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 95-2193 Offsite Logic-based 0-1 constraint programming / Peter Barth.
- Text
- Boston : Kluwer Academic Publishers, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Book/text JSE 96-88 Offsite Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti.
- Text
- Cambridge, Mass. : MIT Press, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 96-689 Offsite Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 96-1489 Offsite Principles of logic and logic programming / G. Metakides, A. Nerode, with cooperation of A. Sinachopoulos.
- Text
- Amsterdam ; New York : Elsevier, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 96-1280 Offsite Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf.
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Book/text JSE 97-885 Offsite Autonomous, model-based diagnoisis agents / by Michael Schroeder.
- Text
- Boston : Kluwer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Book/text JSE 98-765 Offsite Logic and declarative language / Michael Downward.
- Text
- London ; Bristol, Pa. : Taylor & Francis, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Book/text JSE 98-1556 Offsite
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
