Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-26 of 26 results
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, eds.
- Text
- Berlin ; New York : Springer, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1995 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 Principles of knowledge representation / edited by Gerhard Brewka.
- Text
- Stanford, Calif. : CSLI Publications ; [Dordrecht?] : FoLLI, the European Association for Logic, Language and Information, ©1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text BD161 .B74 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 Lectures on the logic of computer programming / Zohar Manna.
- Text
- Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M3559 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 Logic programming : proceedings of the fourth international conference / edited by Jean-Louis Lassez.
- Text
- Cambridge, Mass. : MIT Press, ©1987.
- 1987
- 2 Items
Item details Format Call Number Item Location Text QA76.6 .L589 1987 Off-site Item details Format Call Number Item Location Text QA76.6 .L589 1987 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 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, ©1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .A4584 1990 Off-site 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, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text Q334 .E985 1990 Off-site 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, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .L638 Off-site 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, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .E98 1992 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 Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .A45842 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 Parallel logic programming / Evan Tick.
- Text
- Cambridge, Mass. : MIT Press, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.642 .T53 1991 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 Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing, eds.
- Text
- Berlin ; New York : Springer, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .N662 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 Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.
- Text
- Berlin ; New York : Springer, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .I566 1995 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.
