Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 542 results
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-870 Offsite Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-50 Offsite Introduction to logic programming / Christopher John Hogger.
- Text
- London ; Orlando : Academic Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location 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 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 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 Text JSE 87-2161 Offsite Logic programming : proceedings of the fourth international conference / edited by Jean-Louis Lassez.
- Text
- Cambridge, Mass. : MIT Press, c1987.
- 1987
- 2 Items
Item details Format Call Number Item Location Text JSE 88-2764 v. 1 Offsite Item details Format Call Number Item Location Text JSE 88-2764 v. 2 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 Text JSE 88-1670 Offsite Proceedings, 1987 Symposium on.on Logic Programming, August 31-September 4, 1987, Hyatt on Union Square, San Francisco, California / sponsored by the Computer Society of the IEEE.
- Text
- Washington, D.C. : Computer Society of the IEEE ; Piscataway, NJ : IEEE Service Center [distributor], 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSF 87-1254 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 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 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 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 Text JSE 90-705 Offsite Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSF 89-349 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 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 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 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 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 Text JSE 88-828 Offsite Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / H. Tanaka, K. Furukawa, T. Fujisaki, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-509 Offsite Programming languages implementation and logic programming : proceedings / International Workshop PLILP '88, Orléans, France, May 16-18, 1988 ; P. Deransart, B. Lorho, J. Małuszyński (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSF 90-269 Offsite The journal of logic programming.
- Text
- New York, NY : Elsevier Science Pub. Co., c1984-2000.
- 1984-2000
- 20 Items
Item details Format Call Number Item Location Text JSP 85-364 v. 38-40 (1999) Offsite Item details Format Call Number Item Location Text JSP 85-364 v. 41-43 (1999-2000) Offsite Item details Format Call Number Item Location Text JSP 85-364 v. 44-46 (July-Dec. 2000) 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 Text JSE 90-2281 Offsite Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.
- Text
- Cambridge, Mass. : MIT Press, c1989.
- 1989
- 2 Items
Item details Format Call Number Item Location Text JSK 90-102 v. 1 Offsite Item details Format Call Number Item Location Text JSK 90-102 v. 2 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 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 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 Text JSE 91-792 Offsite Logic programming : proceedings of the sixth international conference / edited by Giorgio Levi and Maurizio Martelli.
- Text
- Cambridge, Mass. : MIT Press, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 91-694 Offsite Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński (eds.)
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1955 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 Text JSF 90-942 Offsite Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / P. Schroeder-Heister, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-313 Offsite Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 91-67 Offsite Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-418 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 Text JSE 91-1766 Offsite Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-501 Offsite Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszynski, M. Wirsing, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-815 Offsite Nonmonotonic and inductive logic : 1st international workshop, Bremen, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-938 Offsite Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] / edited by Friedrich L. Bauer.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 91-2467 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 Text JSF 92-129 Offsite Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 92-119 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 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 Text JSE 92-844 Offsite Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian.
- Text
- Cambridge, Mass. : MIT Press, [1991]
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1547 Offsite Logic programming : proceedings of the 1991 international symposium / edited by Vijay Saraswat and Kazunori Ueda.
- Text
- Cambridge, Mass. : MIT Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1549 Offsite Logic programming : proceedings of the 1990 North American conference / edited by Saumya Debray and Manuel Hermenegildo.
- Text
- Cambridge, Mass : MIT Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1550 Offsite Logic programming : proceedings of the eighth international conference / edited by Koichi Furukawa.
- Text
- Cambridge, Mass. : MIT Press, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1463 Offsite Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-609 Offsite Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings / L-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-612 Offsite Logic programming and automated reasoning : proceedings / International Conference LPAR '92, St. Petersburg, Russia, July 15-202, 1992 ; A. Voronkov, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-729 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 Text JSE 92-1761 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.
