Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 
Subtitle: Proceedings (Lecture Notes in Artificial Intelligence)
Contributors: Andrei Voronkov (Editor)
Publisher: Springer
Published: July 1992
Language: eng
Number of pages: 509
ISBN-13: 9780387557274