Description
Automated Theorem Proving: A Logical Basis
ebook9781483296777d4325
$72.95
Author(s): D.W. Loveland
Publisher: North Holland
ISBN: 9780720404999
Edition: This is stored title: Automated Theorem Proving: A Logical Basis
$72.95
Author(s): D.W. Loveland
Publisher: North Holland
ISBN: 9780720404999
Edition: This is stored title: Automated Theorem Proving: A Logical Basis
Reviews
There are no reviews yet.