Research Catalog

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

Title
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed.
Author
LPAR (Conference)
Publication
Berlin ; New York : Springer-Verlag, [1992], ©1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextRequest in advance QA76.63 .I55 1992Off-site

Holdings

Details

Additional Authors
Voronkov, Andrei, 1959-
Description
xiv, 509 pages : illustrations; 25 cm.
Series Statement
Lecture notes in computer science ; 624. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 624.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
Subject
  • Logic programming > Congresses
  • Automatic theorem proving > Congresses
Bibliography (note)
  • Includes bibliographical references.
ISBN
  • 354055727X (Berlin : acid-free paper)
  • 038755727X (New York : acid-free paper)
LCCN
92021886
OCLC
  • 26095693
  • ocm26095693
Owning Institutions
Columbia University Libraries