Publication:3804239
From MaRDI portal
zbMath0656.68106MaRDI QIDQ3804239
Publication date: 1988
Related Items
Rippling: A heuristic for guiding inductive proofs, Experiments with proof plans for induction, Mathematical method and proof, Tool-assisted specification and verification of typed low-level languages, A proof-centric approach to mathematical assistants, Computer supported mathematics with \(\Omega\)MEGA, Supporting the formal verification of mathematical texts, Multilanguage hierarchical logics, or: How we can do without modal logics, Using tactics to reformulate formulae for resolution theorem proving, Proof-search in type-theoretic languages: An introduction, Agenda control for heterogeneous reasoners, Constraint solving for proof planning, Proof by analogy in mural, Productive use of failure in inductive proof, Middle-out reasoning for synthesis and induction, Proving theorems by reuse, Knowledge-based proof planning
Uses Software