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

Wikipedia

{{cite book |last=LPAR '92 (1992 Saint Petersburg |first=Russia) |title=Logic programming and automated reasoning: international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings |publisher=Springer-Verlag |year=1992 |isbn=9783540557272}}