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

MLA

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