Research Catalog

  • Algorithmic program debugging / Ehud Y. Shapiro.

    • Text
    • Cambridge, Mass. : MIT Press, c1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-1350Offsite
  • 1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey / sponsored by IEEE Computer Society, Technical Committee on Computer Languages.

    • Text
    • Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 85-253Offsite
  • A PROLOG database system / Deyi Li.

    • Text
    • Letchworth, Hertfordshire, England : Research Studies Press ; New York : Wiley, c1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-1617Offsite
  • Programming in Prolog / W.F. Clocksin, C.S. Mellish.

    • Text
    • Berlin ; New York : Springer-Verlag, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-1622Offsite
  • Negation and control in PROLOG / Lee Naish.

    • Text
    • Berlin ; New York : Springer-Verlag, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-128Offsite
  • Prolog programming and applications / W.D. Burnham and A.R. Hall.

    • Text
    • New York : Wiley, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-2355Offsite
  • An introduction to Prolog / by Ramachandran Bharath.

    • Text
    • Blue Ridge Summit, PA : Tab Books, 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-135Offsite
  • The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro.

    • Text
    • Cambridge, Mass. : MIT Press, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-984Offsite
  • International Symposium on Logic.

    • Text
    • Silver Spring, MD. : IEEE Computer Society Press.
    • unknown-present
  • Advanced Turbo Prolog / Herbert Schildt.

    • Text
    • Berkeley, Calif. : Osborne McGraw-Hill, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-718Offsite
  • Prolog for programmers / Feliks Kluźniak, Stanisław Szpakowicz, with a contribution by Janusz S. Bień.

    • Text
    • London ; Orlando : Academic Press, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text L-10 7383 v. 24Offsite
  • A Prolog primer / Jean B. Rogers.

    • Text
    • Reading, Mass. : Addison-Wesley, 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-1224Offsite
  • The power of Turbo Prolog : the natural language of artificial intelligence / Ralph Roberts.

    • Text
    • Blude Ridge Summit, PA : TAB Books, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-1122Offsite
  • Prolog multiprocessors / Michael J. Wise.

    • Text
    • Englewood Cliffs, N.J., USA : Prentice-Hall, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-2534Offsite
  • Prolog / Francis Giannesini ... [et al.] ; foreword by Alain Colmerauer.

    • Text
    • Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-963Offsite
  • Logic programming : a classified bibliography / by Isaac Balbin and Koenraad Lecot.

    • Text
    • Fitzroy, Vic., Australia : Wildgrass Books, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 88-461Offsite
  • Further programming in Prolog : writing application programs / P.H. Hepburn.

    • Text
    • Chichester, W. Sussex : Ellis Horwood ; New York : Halsted Press, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-3199Offsite
  • Prolog and natural-language analysis / Fernando C.N. Pereira and Stuart M. Shieber.

    • Text
    • Stanford, CA : Center for the Study of Language and Information, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-1897Offsite
  • Turbo Prolog : an introduction to artificial intelligence / Patrice Bihan.

    • Text
    • Chichester [West Sussex] ; New York : Wiley, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-3568Offsite
  • Artificial intelligence and PROLOG on microcomputers / J. McAllister.

    • Text
    • London : Edward Arnold, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 88-1537Offsite
  • Memory performance of prolog architectures / by Evan Tick.

    • Text
    • Boston : Kluwer Academic Publishers, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-2243Offsite
  • Introduction to programming in Prolog / Danny Crookes.

    • Text
    • New York ; London : Prentice Hall, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-678Offsite
  • Database applications using Prolog / Robert Lucas.

    • Text
    • Chichester (West Sussex) : E. Horwood ; New York : Halsted Press, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-1218Offsite
  • Practical PROLOG / Richard J. Young.

    • Text
    • New York : Van Nostrand Reinhold, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 89-1726Offsite
  • Prolog : sophisticated applications in artificial intelligence / Ramachandran Bharath.

    • Text
    • Blue Ridge Summit, PA : Windcrest Books, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-166Offsite
  • PROLOG programming / Nigel Ford.

    • Text
    • Chichester, West Sussex, England ; New York : Wiley, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-1297Offsite
  • 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
    FormatCall NumberItem Location
    Text JSE 90-1728Offsite
  • Concepts, design, and performance analysis of a parallel prolog machine / Joachim Beer.

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-290Offsite
  • A high performance architecture for PROLOG / by T.P. Dobry.

    • Text
    • Boston : Kluwer Academic Publishers, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-1050Offsite
  • Building expert systems in Prolog / Dennis Merritt.

    • Text
    • New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-1291Offsite
  • PROLOG and databases : implementations and applications / editors, Peter M.D. Gray and Robert J. Lucas.

    • Text
    • Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 89-509Offsite
  • Concurrent prolog : collected papers / edited by Ehud Shapiro ; with a foreword by Kazuhiro Fuchi.

    • Text
    • Cambridge, Mass. : MIT Press, c1987.
    • 1987
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 89-295 v. 1Offsite
    FormatCall NumberItem Location
    Text JSE 89-295 v. 2Offsite
  • Logic and Prolog / Richard Spencer-Smith.

    • Text
    • New York : Harvester Wheatsheaf, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 91-1119Offsite
  • Artificial intelligence : an engineering approach / Robert J. Schalkoff.

    • Text
    • New York : McGraw-Hill, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 91-978Offsite
  • The craft of Prolog / Richard A. O'Keefe.

    • Text
    • Cambridge, Mass. : MIT Press, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 91-2346Offsite
  • Prolog : a logical approach / Tony Dodd.

    • Text
    • Oxford [England] ; New York : Oxford University Press, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 91-1542Offsite
  • Prolog and expert systems / Kenneth A. Bowen.

    • Text
    • New York : McGraw-Hill, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 91-1898Offsite
  • Artificial intelligence in simulation / Iván Futo, Tamás Gergely.

    • Text
    • New York : E. Horwood, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 92-844Offsite
  • Prolog for natural language processing / Annie Gal ... [et al.].

    • Text
    • Chichester [England] ; New York : Wiley, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 92-1189Offsite
  • A fuzzy PROLOG database system / Deyi Li and Dongbo Liu.

    • Text
    • Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 92-1761Offsite
  • Logic programming : Prolog and stream parallel languages / J.D. Newmarch.

    • Text
    • New York : Prentice Hall, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 92-1560Offsite
  • Knowledge systems through Prolog : an introduction / Steven H. Kim.

    • Text
    • New York : Oxford University Press, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 92-2137Offsite
  • Forms of concrescence : Alfred Whitehead's philosophy and computer programming structures / Granville C. Henry.

    • Text
    • Lewisburg : Bucknell University Press ; London : Associated University Presses, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JFE 93-7857Schwarzman Building - General Research Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • An MT oriented model of aspect and article semantics / Barbara Gawrońska.

    • Text
    • Lund : Lund University Press, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JFD 93-13615Schwarzman Building - General Research Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

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

    • Text
    • Lanham : University Press of America, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JFE 93-13406Schwarzman Building - General Research Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • The implementation of Prolog / Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh.

    • Text
    • Princeton, N.J. : Princeton University Press, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-165Offsite
  • Functional grammar in Prolog : an integrated implementation for English, French, and Dutch / by Simon C. Dik.

    • Text
    • Berlin ; New York : Mouton de Gruyter, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text JFE 94-2582Schwarzman 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.

  • Artificial intelligence : structures and strategies for complex problem solving / George F. Luger, William A Stubblefield.

    • Text
    • Redwood City, Calif. : Benjamin/Cummings Pub. Co., c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-736Offsite
  • Artificial intelligence techniques in Prolog / Yoav Shoham.

    • Text
    • San Francisco, Calif. : Morgan Kaufmann Publishers, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-698Offsite
  • An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla.

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-1024Offsite

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