Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt. Wohin geht die automatische Deduktion?. KI, 12(4):33-37, 1998.
@article{GanzingerSS98,
title = {Wohin geht die automatische Deduktion?},
author = {Harald Ganzinger and Jörg H. Siekmann and Peter H. Schmitt},
year = {1998},
researchr = {https://researchr.org/publication/GanzingerSS98},
cites = {0},
citedby = {0},
journal = {KI},
volume = {12},
number = {4},
pages = {33-37},
}