Publications

Heiko Mantel; Jens Otten

In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs, Pages 217-231, LNAI 1617, Springer, 6/1999.

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

Dennis Dams; Dieter Hutter; Natalia Sidorova

In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, 1999.

Dieter Hutter; Alan Bundy

In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

Axel Schairer

CoFI Tools Note T-7, 4/1999.

Matthias Klusch

In: Proceedings of International Symposium IMPACT-99. International Symposium on The Impact of Agent Technology on Telecommunication (IMPACT-99), Bellevue, DoubleTree Hotel, WA, USA, 1999.

Hui Xu

In: 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, Information and Computation (PACLIC), 1999.

Hans Uszkoreit; Rudolf Stichweh; Heinz-Ulrich Reyer

Vol. 1, Werner Reimers Stiftung, 1999.

Hans Uszkoreit; Brigitte Krenn (Hrsg.)

International Workshop on Linguistically Interpreted Corpora (LINC), 1999.

Hans Uszkoreit

In: Geisteswissenschaften und Innovationen. Pages 137-174, Physica Verlag, 1999.