Tania Avgustinova
Universität des Saarlandes, 1999.
In: Beiträge der Europäschen Slavistischen Linguistik (POLYSLAV), Vol. 4, Pages 10-15, 1999.
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 …
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …
