Automated Reasoning
by Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Automatic theorem provingLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library
by Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Book data: Open Library