Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-14 of 14 results for author "Association for Logic Programming."
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 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 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 QA76.63 .L632 1991 Off-site 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 QA76.63 .L635 1991 Off-site Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)
- Text
- London ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .I57 1991 Off-site Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming / edited by Krzysztof Apt.
- Text
- Cambridge, Mass. : MIT Press, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .J57 1992 Off-site Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
- Text
- London ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.63.I57 1992a Off-site Logic programming : proceedings of the 1993 international symposium / edited by Dale Miller.
- Text
- Cambridge, Mass. : MIT Press, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .L635 1993g Off-site Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen.
- Text
- Cambridge, Mass. : MIT Press, [1988], ©1988.
- 1988-1988
- 2 Items
Item details Format Call Number Item Location Text QA76.6 .L5889 1988 v.2 Off-site Item details Format Call Number Item Location Text QA76.6 .L5889 1988 v.1 Off-site The journal of logic programming.
- Text
- New York, NY : Elsevier Science Pub. Co., ©1984-2000.
- 1984-2000
- 23 Items
Item details Format Call Number Item Location Text QA76.6 .J6 v.40-41 (1999:July-Dec.) Off-site Item details Format Call Number Item Location Text QA76.6 .J6 v.42-43 (2000:Jan.-June) Off-site Item details Format Call Number Item Location Text QA76.6 .J6 v.44-46 (2000:July-Dec.) Off-site Logic programming : proceedings of the 1990 North American conference / edited by Saumya Debray and Manuel Hermenegildo.
- Text
- Cambridge, Mass : MIT Press, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .L634 1990 Off-site Theory and practice of logic programming.
- Text
- Cambridge : Cambridge University Press, 2001-
- 2001-present
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .T536 vol. 5 2005 Off-site
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.
