The following pages link to Leo (Q31432):
Displayed 19 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Comparing approaches to resolution based higher-order theorem proving (Q1868166) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- (Q2723444) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
- (Q4249891) (← links)
- (Q4263170) (← links)
- (Q4428312) (← links)
- (Q4797443) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- (Q5369491) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Theorem Proving in Higher Order Logics (Q5477647) (← links)
- Mechanizing Mathematical Reasoning (Q5717467) (← links)