Tree-based heuristics in modal theorem proving

Authors
Publication date 2000
Book title ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence
Publisher IOS Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back