Machine Program for Theorem-Proving
Machine Program for Theorem-Proving
George Logemann
,
Donald Loveland
,
Martin Davis
Details
OL Work ID
OL28555615W
Find this book
Open Library