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