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