Suche
Kategorie
Erscheinungsjahr
36054 Treffer
×
Publikationen
×
Universität Koblenz
×
Universität Trier
×
Hochschule Kaiserslautern
×
Hochschule Worms
×
Technische Hochschule Bingen
- Sofronie-Stokkermans, Viorica
- Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with -ary Roles and Numerical Domains.
- Fundam. Inform. Bd. 156. H. 3-4. 2017 S. 361 - 411
- Christian Blanchette, Jasmin; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
- Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).
- Dagstuhl Reports. Bd. 7. H. 9. 2017 S. 26 - 46
- Sofronie-Stokkermans, Viorica
- On Interpolation and Symbol Elimination in Theory Extensions.
- CoRR. Bd. abs/1702.06620. 2017
- Schaffers, Uta; Fähnders, Walter
- Annemarie Schwarzenbach: Frühe Texte: Gespräch 1928; Erik 1929; Das Märchen von der gefangenen Prinzessin 1929; mit dem Knaben Michael 1929.
- JUNI. Magazin für Literatur und Kultur. Bd. 53/54. Bielefeld. 2017 S. 153 - 183
- Vierjahn, Tom; Schnorr, Andrea; Weyers, Benjamin et al.
- Interactive Exploration of Dissipation Element Geometry.
- EGPGV@EuroVis. 2017 S. 53 - 62
- Oliveira Prates, Raquel; A. Palanque, Philippe; Weyers, Benjamin et al.
- State of the Art on Formal Methods for Interactive Systems.
- Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 3 - 55
- Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
- Efficient approximate computation of scene visibility based on navigation meshes and applications for navigation and scene analysis.
- 3DUI. 2017 S. 134 - 143
- C. Law, Yuen; Wehrt, Wilken; Sonnentag, Sabine et al.
- Generation of information systems from process models to support intentional forgetting of work habits.
- EICS. 2017 S. 27 - 32
- Bowen, Judy; J. Dix, Alan; A. Palanque, Philippe et al.
- Topics of Formal Methods in HCI.
- Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 57 - 64
- Freitag, Sebastian; Lobbert, Clemens; Weyers, Benjamin et al.
- Approximating optimal sets of views in virtual scenes.
- VR. 2017 S. 311 - 312