The following pages link to (Q4797443):
Displaying 6 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving (Q2751539) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- (Q4437972) (← links)
