Publikation
In: H. Kirchner; B. Gramlich (Hrsg.). Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated Deduction (STRATEGIES), Townsville, 1997.
@inproceedings{pub1594, author = { Hutter, Dieter }, editor = { Kirchner, H. and Gramlich, B. }, title = {Equalizing Terms by Difference Reduction Techniques}, booktitle = {Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated Deduction (STRATEGIES), Townsville}, year = {1997}, address = {Townsville, Australia}, organization = {14th International Conference on Automated Deduction, CADE-14} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023