LPAR Saint Petersburg, Russia, & Voronkov, A. (1993). Logic programming and automated reasoning: 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings. Springer-Verlag.
Citace podle Chicago (17th ed.)LPAR Saint Petersburg, Russia, a A. Voronkov. Logic Programming and Automated Reasoning: 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.
Citace podle MLA (8th ed.)LPAR Saint Petersburg, Russia, a A. Voronkov. Logic Programming and Automated Reasoning: 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : Proceedings. Springer-Verlag, 1993.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..