Publikation

Transformations of First-Order Formulae for Automated Reasoning

Georg Rock

em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

http://www.dfki.de/vse/papers/rock95.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence