You are here: Home › Books › A Machine Program for Theorem-proving

A Machine Program for Theorem-proving

A Machine Program for Theorem-proving

ISBN: 1379081262

ISBN 13: 9781379081265

Authors: Martin Davis, George Logemann, Donald Loveland

0.00 of 0

Click the button below to register a free account and download the file


Download PDF

Download ePub

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.



Categories
Recent Search