Skip to content
Vinony

Handbook Of Automated Reasoning

by J. Robinson, Alan Robinson, Andrei Voronkov

Cover of Handbook Of Automated Reasoning

No description available.

Automatic theorem provingQualitative reasoningQa76.9.a96 h35 2001511.3Computer science
Handbook Of Automated Reasoning by J. Robinson, Alan Robinson, Andrei Voronkov — book · Vinony