Automated theorem proving based upon a tableau-method with unification under restrictions: theory, implementation and empirical results

Wilhelmus Mathias Joseph Ophelders

Research output: ThesisDoctoral Thesis

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Tilburg University
Place of Publication[s.l.]
Publisher
Publication statusPublished - 1992

Cite this