The following pages link to P.rex (Q33152):
Displayed 7 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- An Interactive Derivation Viewer (Q2867942) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- (Q4797443) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (Q5941850) (← links)