Publikation
PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.
@phdthesis{pub2383, author = { Bürckert, Hans-Jürgen }, title = {A Resolution Principle for a Logic with Restricted Quantifiers}, series = {Lecture Notes in Artificial Intelligence (LNAI)}, year = {1991}, volume = {568} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023