Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
From MaRDI portal
Publication:4272504
DOI10.1093/logcom/3.1.47zbMath0779.68078OpenAlexW1971240548MaRDI 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
From Boolean algebra to unified algebra ⋮ Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology ⋮ Structured calculational proof ⋮ A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas ⋮ Verifying Whiley programs with Boogie ⋮ A functional logic for higher level reasoning about computation
This page was built for publication: Formalizing a Hierarchical Structure of Practical Mathematical Reasoning