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

Name: Logic programming and automated reasoning: international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
ISBN: 9783540557272

LPAR '92 (1992 Saint Petersburg, Russia) · Springer-Verlag · 1992

APA

LPAR '92 (1992 Saint Petersburg, R. (1992). Logic programming and automated reasoning: international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings. Springer-Verlag.