Skip to content
Vinony

Mechanizing mathematical reasoning

by Jörg H. Siekmann, Dieter Hutter, Werner Stephan

Cover of Mechanizing mathematical reasoning

No description available.

Automatic theorem provingTechniqueSymbolic and mathematical LogicReasoningAutomation
Mechanizing mathematical reasoning by Jörg H. Siekmann, Dieter Hutter, Werner Stephan — book · Vinony