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

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

Cite this

@phdthesis{9b85622f9342483c9340f58d203545f9,
title = "Automated theorem proving based upon a tableau-method with unification under restrictions: theory, implementation and empirical results",
author = "Ophelders, {Wilhelmus Mathias Joseph}",
note = "Pagination: X, 184",
year = "1992",
language = "English",
publisher = "[s.n.]",
school = "Tilburg University",

}

Automated theorem proving based upon a tableau-method with unification under restrictions : theory, implementation and empirical results. / Ophelders, Wilhelmus Mathias Joseph.

[s.l.] : [s.n.], 1992.

Research output: ThesisDoctoral Thesis

TY - THES

T1 - Automated theorem proving based upon a tableau-method with unification under restrictions

T2 - theory, implementation and empirical results

AU - Ophelders, Wilhelmus Mathias Joseph

N1 - Pagination: X, 184

PY - 1992

Y1 - 1992

M3 - Doctoral Thesis

PB - [s.n.]

CY - [s.l.]

ER -