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

Wilhelmus Mathias Joseph Ophelders

Research output: Thesis › Doctoral Thesis

63 Downloads (Pure)

Access to Document

@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",

}