Mechanizing Mathematical Reasoning

DOI10.1007/B106663MaRDI QIDQ5717437zbMATH OpenOpenAlexFDO

Authors Dieter Hutter, Werner Stephan

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106663

zbMATH Keywords

BiographyBirthday

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 107477
• scientific article; zbMATH DE number 400659
• scientific article; zbMATH DE number 2118474
• Computing machines in change: mathematics, engineering and society. Festschrift for Hartmut Petzold on his 65th birthday. Selected papers of a colloquium, Deutsches Museum, München, Germany, July 10, 2009
• Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John F. Turing

This page was built for publication: Mechanizing Mathematical Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717437)