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

Bibliographic Details
Corporate Author:	International Conference LPAR '92 Saint Petersburg, Russia
Other Authors:	Voronkov, Andrei, 1959-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1992]
Series:	Lecture notes in computer science ; 624. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Automatic theorem proving > Congresses.

Remote Storage