Handbook of Automated Reasoning, Vol. 1 (Volume 1)

Automated

by: J. Alan Robinson · Andrei Voronkov

Hardcover

ISBN: 978-0-262-18221-8

ISBN-10: 0-262-18221-1

The MIT Press · 2001

See also:
2001HardcoverHandbook of Automated Reasoning (2 Volume Set)
2001HardcoverHandbook of Automated Reasoning