Leo
From MaRDI portal
Software:31432
swMATH19607MaRDI QIDQ31432FDOQ31432
Author name not available (Why is that?)
Cited In (19)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extensional higher-order paramodulation in Leo-III
- KI 2004: Advances in Artificial Intelligence
- Functions-as-constructors higher-order unification: extended pattern unification
- Title not available (Why is that?)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners
- The higher-order prover \textsc{Leo}-II
- Theorem Proving in Higher Order Logics
- Combining and automating classical and non-classical logics in classical higher-order logics
- Computer supported mathematics with \(\Omega\)MEGA
- Combined reasoning by automated cooperation
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- Comparing approaches to resolution based higher-order theorem proving
- TPS: A hybrid automatic-interactive system for developing proofs
- Functions-as-constructors Higher-order Unification
This page was built for software: Leo
