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