Handbook Of Automated Reasoning
by J. Robinson, Alan Robinson, Andrei Voronkov
Automatic theorem provingQualitative reasoningQa76.9.a96 h35 2001511.3Computer science
Writing a summary for young readers…
For young readers
Book data: Open Library
by J. Robinson, Alan Robinson, Andrei Voronkov
Book data: Open Library