Combining reasoning systems

Authors
Publication date 1999
Book title Proc. Automated Reasoning '99
Event Automated Reasoning '99
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back