Tree-based heuristics in modal theorem proving (abstract)

Authors
Publication date 2001
Book title Proceedings of BNAIC 2001
Pages (from-to) 31-32
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back