Handbook Of Automated Reasoning
By J. Robinson, Andrei Voronkov, Alan Robinson
Subjects: Qualitative reasoning, Qa76.9.a96 h35 2001, 511.3, Automatic theorem proving
Description:
Comments
You must log in to leave comments.
Subjects: Qualitative reasoning, Qa76.9.a96 h35 2001, 511.3, Automatic theorem proving
Description:
You must log in to leave comments.