Publikation
In: C.-R. Rollinger, W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86) September 22-26 Ottenstein Austria Seiten 265-276 Springer Verlag, IFB 124 1986.
@inproceedings{pub1579, author = { Hutter, Dieter }, editor = { Rollinger, C.-R. and Horn, W. }, title = {Using Resolution and Paramodulation for Induction Proofs}, booktitle = {Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria}, year = {1986}, pages = {265--276}, address = {Ottenstein, Österreich}, publisher = {Springer Verlag, IFB 124}, note = {zusammen mit der 2.Österreichischen AI-Tagung} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022