The following pages link to (Q3327746):
Displayed 16 items.
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- A theory of abstraction (Q1199923) (← links)
- Syntactical treatments of propositional attitudes (Q1275601) (← links)
- Gentzen-type systems, resolution and tableaux (Q1311413) (← links)
- Annotations in formal specifications and proofs (Q1334901) (← links)
- Purposive discovery of operators (Q1356174) (← links)
- Using tactics to reformulate formulae for resolution theorem proving (Q1380410) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- The structure-mapping engine: Algorithm and examples (Q1823718) (← links)
- Proof by analogy in mural (Q1898818) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- Computer-aided heuristic analysis of fluid models (Q2564104) (← links)
- The interval representation problem (Q3361921) (← links)
- Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
- An automatic proof of Gödel's incompleteness theorem (Q5906916) (← links)