Publikationen

Zeige Ergebnisse 1 bis 10 von 13

In: Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). German Conference on Artificial Intelligence (KI) September 20-24 Ulm Germany Seiten 84-98 Lecture Notes in Computer Science (LNCS) 3238 2004-03 ISBN 3-540-23166-8 Springer Berlin 9/2004.

Zur Publikation

In: Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08) July 27-August 1 Oxford United Kingdom Seiten 672-674 Lecture Notes In Computer Science (LNCS) 230 ISBN 978-3-540-16780-8 Springer London 1986.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence