Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .A33 1996Off-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
    FormatCall NumberItem Location
    Text QA76.63 .I57 1996Off-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
    FormatCall NumberItem Location
    Text QA76.6 .I5466 1986Off-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
    FormatCall NumberItem Location
    Text QA76.6 .F6858 1986Off-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
    FormatCall NumberItem Location
    Text QA76.7 .I59 1988Off-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
    FormatCall NumberItem Location
    Text QA76.6 .A4584 1990Off-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
    FormatCall NumberItem Location
    Text Q334 .E985 1990Off-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
    FormatCall NumberItem Location
    Text QA76.63 .L638Off-site

  • Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota.

    • Text
    • New York, NY : Cambridge University Press, 2012.
    • 2012
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .M554 2012Off-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
    FormatCall NumberItem Location
    Text QA76.58 .I54 1991Off-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
    FormatCall NumberItem Location
    Text QA76.76.E95 P36 1991Off-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
    FormatCall NumberItem Location
    Text QA76.63 .I55 1992Off-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
    FormatCall NumberItem Location
    Text QA76.6 .A45842 1992Off-site

  • Parallel logic programming / Evan Tick.

    • Text
    • Cambridge, Mass. : MIT Press, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .T53 1991Off-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
    FormatCall NumberItem Location
    Text QA76.73 .I567 1993Off-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
    FormatCall NumberItem Location
    Text QA76.9.D35 M84 1993Off-site

  • The mechanism and freedom of logic / Granville C. Henry.

    • Text
    • Lanham : University Press of America, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text BC108 .H36 1993Off-site

  • Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.612 .C67 1995Off-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
    FormatCall NumberItem Location
    Text QA76.63 .N68 1995Off-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.

digital-research-book
Explore Digital Research Books Beta