Publikation
Georg Rock
em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.
@misc{pub1613, author = { Rock, Georg }, title = {Transformations of First-Order Formulae for Automated Reasoning}, year = {1995}, month = {4}, publisher = {em Masters Thesis. Max-Planck-Institut für Informatik, Germany} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023