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

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

BibTeX

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