HOT
From MaRDI portal
Software:25223
swMATH13308MaRDI QIDQ25223FDOQ25223
Author name not available (Why is that?)
Cited In (6)
- Superposition with lambdas
- Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings
- Superposition with lambdas
- TPS: A hybrid automatic-interactive system for developing proofs
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
- A taxonomy of parallel strategies for deduction
This page was built for software: HOT
