Suche
Kategorie
Erscheinungsjahr
27638 Treffer
×
Publikationen
×
< 2021
×
Universität Koblenz
×
Universität Trier
×
Katholische Hochschule Mainz
×
Hochschule Kaiserslautern
- Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
- Special issue on automated deduction: Decidability, complexity, tractability.
- J. Symb. Comput. Bd. 45. H. 2. 2010 S. 151 - 152
- Bruns, Thomas
- Tafel, Karin; Duri´c, Rasid; Lemmen, Radka; Olshevska, Anna; Przyborovska-Stolz,Agata: Slavische Interkomprehension. Eine Einführung. Gunter Narr Verlag. Tübingen 2009 (Reihe Narr Studienbücher). 267 S. - ISBN 978-3-8233-6478-8
- Anzeiger für slavische Philologie. Bd. 36. Graz: Akad. Druck- und Verl.-Anstalt [u.a.] 2010 S. 217 - 221
- Voltmer, Rita
- Die Hexenverfolgungen im Raum des Erzbistums (15.-17. Jahrhundert)
- Schneider, Bernhard (Hrsg). Geschichte des Bistums Trier Bd. 3: Kirchenreform und Konfessionsstaat 1500-1801. Trier. 2010 S. 709 - 749
- Schon, Claudia
- Linkless Normal Form for ALC Concepts
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2010 S. 25
- Dehling, J. Maximilian
- Advertisement calls of two species of Microhyla (Anura: Microhylidae) from Borneo
- Salamandra. Bd. 46. 2010 S. 114 - 116
- Santos, Marc; von Korflesch, Harald F. O.
- Shared Annotation Model: Ein Datenmodell für kollaborative Annotationen
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2010 S. 13
- Pätzold, Henning
- Lebenslanges Lernen
- Rolf Arnold;Sigrid Nolda;Ekkehard Nuissl (Hrsg). Wörterbuch Erwachsenenbildung. 2. Aufl. Bad Heilbrunn: Klinkhardt 2010 S. 183 - 184
- Scherp, Ansgar; Jain, Ramesh; Kankanhalli, Mohan et al.
- Proceedings of the 2nd ACM International Workshop on Events in Multimedia EiMM 2010: October 25, 2010; Firenze, Italy
- New York, NY: ACM Association for Computing Machinery 2010
- Wagner, Claudia; Scheir, Peter; Stocker, Alexander et al.
- Harnessing semantic web technologies for solving the dilemma of content providers.
- I-SEMANTICS. 2010
- Graf, Felix; Grzegorzek, Marcin; Paulus, Dietrich
- Counting Lymphocytes in Histopathology Images Using Connected Components
- Devrim Ünay;Zehra Çataltepe;Selim Aksoy (Hrsg). Recognizing Patterns in Signals, Speech, Images and Videos: ICPR 2010 Contests, Istanbul, Turkey, August 23-26, 2010, Contest Reports. Berlin: Springer 2010 S. 263 - 269