PROTEIN
From MaRDI portal
Cited in
(31)- Prolog technology for default reasoning: proof theory and compilation techniques
- Theory reasoning in connection calculi
- SETHEO
- Computing answers with model elimination
- E-SETHEO
- Linear and unit-resulting refutations for Horn theories
- Knowledge-based proof planning
- MBase
- Amphion
- SicoTHEO
- Theorem proving in large theories
- Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
- Deduction-based software component retrieval
- Prodigy
- P.rex
- Doris
- Bliksem
- KOMET
- Medmaker
- 3TAP
- mural
- KRHyper
- PARIS
- Omega-MKRP
- Model elimination without contrapositives
- SETHEO goes software engineering: application of ATP to software reuse
- What you always wanted to know about rigid \(E\)-unification
- Automated Deduction – CADE-20
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Computer supported mathematics with MEGA
This page was built for software: PROTEIN
