Publikation
In: E. L. Lusk, R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9) May 23-26 Argonne IL United States Seiten 517-526 Lecture Notes in Computer Science (LNCS) 310 Springer 1988.
@inproceedings{pub2365, author = { Bürckert, Hans-Jürgen }, editor = { Lusk, E. L. and Overbeek, R. }, title = {Solving Disequations in Equational Theories}, booktitle = {Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9), May 23-26, Argonne, IL, United States}, series = {Lecture Notes in Computer Science (LNCS)}, year = {1988}, volume = {310}, pages = {517--526}, organization = {Argonne National Laboratory}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022