Automated theorem proving: A logical basis (Fundamental studies in computer science)

by Donald W Loveland

Hardcover

details (United States).
(see also: eBook (Kindle))

details (UK).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (France).
(see also: livre numérique format Kindle)

ISBN: 978-0-7204-0499-9

ISBN-10: 0-7204-0499-1

sole distributor for the U.S.A. and Canada, Elsevier North-Holland · 1978