swMATH21344MaRDI QIDQ33152FDOQ33152
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/3-540-45744-5_33
Cited In (16)
- 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
- STRIP
- MUSCADET
- Prefuse
- OMEGA
- TRAMP
- Oyster
- Doris
- IDV
- MODPROF
- Lemmatization for stronger reasoning in large theories
This page was built for software: P.rex
