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

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.

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.

Chicago

LPAR '92 (1992 Saint Petersburg, Russia). Logic programming and automated reasoning: international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings. Berlin: 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}}

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} }