Logic Programming and Automated Reasoning > Editions
by George E. Andrews First published July 28th 1993
Published May 12th 2009
by Springer
Paperback, 436 pages
Published
by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Paperback, 0 pages
Published March 12th 2014
by Springer
Paperback, 408 pages
Published June 29th 1993
by Springer
1993, Paperback, 408 pages


![[(Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings )] [Author: Andrei Voronkov] [May-1992]](https://i.gr-assets.com/images/S/compressed.photo.goodreads.com/books/1697008150l/145005857._SX50_.jpg)

