Computations in Propositional Logic

Authors
Supervisors
Publication date 1996
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type PhD thesis
Permalink to this page
Back