Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /

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

Remote Storage