Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
From MaRDI portal
Publication:4272504
DOI10.1093/logcom/3.1.47zbMath0779.68078MaRDI QIDQ4272504
Peter J. Robinson, John Staples
Publication date: 6 December 1993
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/3.1.47
Related Items
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology, Structured calculational proof, A functional logic for higher level reasoning about computation, From Boolean algebra to unified algebra, Verifying Whiley programs with Boogie, A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas