Mechanizing mathematical reasoning
by Jörg H. Siekmann, Dieter Hutter, Werner Stephan
Automatic theorem provingTechniqueSymbolic and mathematical LogicReasoningAutomation
Writing a summary for young readers…
For young readers
Book data: Open Library
by Jörg H. Siekmann, Dieter Hutter, Werner Stephan
Book data: Open Library