Mechanizing mathematical reasoningde Jörg H. Siekmann, Dieter Hutter, Werner StephanMateriasAutomatic theorem provingTechniqueSymbolic and mathematical LogicReasoningAutomationEdiciones (1)Mechanizing mathematical reasoning (2005)Springer · inglésMás obras de Jörg H. Siekmann
