Meta-Logics for Logic Programming

Authors
  • M.B. Kalsbeek
Supervisors
Publication date 1995
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type PhD thesis
Note Research conducted at: uva
Permalink to this page
Back