Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed.
Conference Author:
LPAR (Conference) (3rd : (1992 : 1992 : Saint Petersburg, Russia) Saint Petersburg, Russia)
Published:
Berlin ; New York : Springer-Verlag, [1992]
Copyright Date:
©1992
Physical Description:
xiv, 509 pages : illustrations ; 25 cm.
Additional Creators:
Voronkov, Andrei, 1959-
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series:
Lecture notes in computer science ; 624
Lecture notes in computer science. Lecture notes in artificial intelligence
Subject(s):
Logic programming
—
Congresses
Automatic theorem proving
—
Congresses
ISBN:
354055727X (Berlin : acid-free paper)
038755727X (New York : acid-free paper)
Related Titles:
LPAR '92.
Bibliography Note:
Includes bibliographical references.
View MARC record
| catkey: 1747444