Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-19 of 19 results
Advances in inductive logic programming / edited by L. De Raedt.
- Text
- Amsterdam ; Washington, DC : IOS Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A27 1996 Off-site Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.
- Text
- Berlin ; New York : Springer, ©1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A33 1996 Off-site Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.).
- Text
- Berlin ; New York : Springer, ©1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .I57 1996 Off-site 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, ©1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I5466 1986 Off-site Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .F6858 1986 Off-site Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I59 1988 Off-site 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, ©1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I59 1990 Off-site Mathematical aspects of logic programming semantics / Pascal Hitzler, Anthony Seda.
- Text
- Boca Raton, FL : CRC Press, ©2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .H58 2011 Off-site 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, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .I54 1991 Off-site Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.76.E95 P36 1991 Off-site Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .I55 1992 Off-site Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1992 Off-site Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M.J. Ratcliffe (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .L66 1992 Off-site Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.73 .I567 1993 Off-site 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 Text QA76.9.D35 C37 1992 Off-site Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D35 M84 1993 Off-site Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1993 Off-site Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1994 Off-site 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, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .N68 1995 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.
