Automated reasoning and its applications
by Larry Wos, Robert Veroff, Gail W. Pieper
Automatic theorem provingArtificial intelligence
Writing a summary for young readers…
For young readers
Book data: Open Library
by Larry Wos, Robert Veroff, Gail W. Pieper
Book data: Open Library