Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (Q4272504)
From MaRDI portal
scientific article; zbMATH DE number 469196
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing a Hierarchical Structure of Practical Mathematical Reasoning |
scientific article; zbMATH DE number 469196 |
Statements
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (English)
0 references
6 December 1993
0 references
interactive reasoning
0 references
proof editors
0 references
inference systems
0 references
equivalence proofs
0 references
