Thomas Kolbe
According to our database1,
Thomas Kolbe
authored at least 9 papers
between 1994 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
1997
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997
Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-2971-9, 1997
1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Proceedings of the Machine Learning: ECML-95, 1995
1994
Reusing Proofs.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994