Rippling
by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Automatic theorem provingLogic, symbolic and mathematicalSymbolic and mathematical Logic
Writing a summary for young readers…
For young readers
Book data: Open Library
by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Book data: Open Library