PROTEIN
From MaRDI portal
Software:33150
swMATH21342MaRDI QIDQ33150FDOQ33150
Author name not available (Why is that?)
Cited In (15)
- Model elimination without contrapositives
- SETHEO goes software engineering: Application of ATP to software reuse
- What you always wanted to know about rigid E-unification
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Theory reasoning in connection calculi
- Computer supported mathematics with \(\Omega\)MEGA
- Computing answers with model elimination
- Knowledge-based proof planning
- Automated Deduction – CADE-20
- Prolog technology for default reasoning: proof theory and compilation techniques
- Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
- Deduction-based software component retrieval
- Linear and unit-resulting refutations for Horn theories
- Theorem proving in large theories
This page was built for software: PROTEIN
