P.rex
From MaRDI portal
Software:33152
swMATH21344MaRDI QIDQ33152FDOQ33152
Author name not available (Why is that?)
Cited In (7)
- An interactive derivation viewer
- Title not available (Why is that?)
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Computer supported mathematics with \(\Omega\)MEGA
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Lemmatization for Stronger Reasoning in Large Theories
This page was built for software: P.rex
