Publikation
Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, Springer, 1991.
@book{pub1843, 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}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023