@ARTICLE{LetzWeidenbach98,
AUTHOR = {Letz, Reinhold and Weidenbach, Christoph},
TITLE = {Paradigmen und Perspektiven der automatischen Deduktion},
JOURNAL = {KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V.},
YEAR = {1998},
VOLUME = {4},
PAGES = {15--19},
}
Entry last modified by Christoph Weidenbach, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christoph Weidenbach | Created
01/18/1999 06:01:30 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Christoph Weidenbach
Uwe Brahm
Christoph Weidenbach
Christoph Weidenbach
| Edit Dates
05/05/99 12:22:00
01.04.99 10:58:35
20/01/99 12:50:30
20/01/99 12:50:30
|