Exact models and computations in propositional logic

Authors
  • L. Hendriks
Publication date 1995
Host editors
  • M. Trautwein
  • S. Fischer
Book title Accolade '95
Pages (from-to) 59-73
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back