Handbook Of Automated Reasoning
Handbook Of Automated Reasoning
Andrei Voronkov
,
Alan Robinson
,
J. Robinson
Details
OL Work ID
OL37477513W
Subjects
Automatic theorem proving
Qualitative reasoning
Qa76.9.a96 h35 2001
511.3
Computer science
Find this book
Open Library