e CIG: Journal Articles


Journal Articles

Author:Baumgartner, P. and Dahn, I. and Dix, J. and Furbach, U. and Kühn, M. and Stolzenburg, F. and Thomas, B.
Title:Automated Deduction: A technological point of view
Journal:KI
Volume:4
Year:1998
Pages:7-14
BibTeX-Code:
@article{baudixfurschsto98,
author={Baumgartner, P. and Dahn, I. and Dix, J. and Furbach, U. and Kühn, M. and Stolzenburg, F. and Thomas, B.},
title={Automated Deduction: A technological point of view},
journal={KI},
volume={4},
year={1998},
pages={7-14},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019