P.rex
From MaRDI portal
Software:33152
No author found.
Related Items (7)
Computer supported mathematics with \(\Omega\)MEGA ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ Mechanizing Mathematical Reasoning ⋮ Unnamed Item ⋮ Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings ⋮ KI 2004: Advances in Artificial Intelligence ⋮ An Interactive Derivation Viewer
This page was built for software: P.rex
