Cited in
(17)- An interactive derivation viewer
- Computer supported mathematics with \(\Omega\)MEGA
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Hilberticus
- STRIP
- MUSCADET
- Prefuse
- OMEGA
- TRAMP
- Oyster
- Doris
- IDV
- MODPROF
- Mechanizing Mathematical Reasoning
- KI 2004: Advances in Artificial Intelligence
- Lemmatization for stronger reasoning in large theories
- scientific article; zbMATH DE number 1882065 (Why is no real title available?)
This page was built for software: P.rex