Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Tania Avgustinova; Bistra Andreeva
In: 3rd Conference on Formal Description of Slavic Languages (FDSL-3), December 1-3. European Conference on Formal Description of Slavic Languages …
In: The 14th International Congress of Phonetic Sciences, August 1-7. International Congress of Phonetic Sciences (ICPhS), Pages 1501-1504, 1999.
Tania Avgustinova; Claire Gardent; Karel Oliva
Universität des Saarlandes, Vol. 109, 1999.
Heiko Mantel; Jens Otten
In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …
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 …
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, …
Dieter Hutter; Alan Bundy
In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Hui Xu
In: 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, …
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), …