Logic Programming and Automated Reasoning > Editions

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science 698)

Published May 12th 2009 by Springer

Paperback, 436 pages

less detail

[(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]

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Paperback, 0 pages

less detail

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Paperback)

Published March 12th 2014 by Springer

Paperback, 408 pages

less detail

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

Published June 29th 1993 by Springer

1993, Paperback, 408 pages

less detail