PROTEIN
From MaRDI portal
Software:33150
No author found.
Related Items (15)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Linear and unit-resulting refutations for Horn theories ⋮ Computing answers with model elimination ⋮ Automated Deduction – CADE-20 ⋮ Knowledge-based proof planning ⋮ Mechanizing Mathematical Reasoning ⋮ KI 2004: Advances in Artificial Intelligence ⋮ Model elimination without contrapositives ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Theory reasoning in connection calculi ⋮ SETHEO goes software engineering: Application of ATP to software reuse ⋮ What you always wanted to know about rigid E-unification
This page was built for software: PROTEIN
