Autor der Publikation

The Heterogeneous Tool Set

, , und . VERIFY 2007, 4th International Verification Workshop, Volume 259 von CEUR Workshop Proceedings, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Heterogeneous Tool Set, , und . VERIFY 2007, 4th International Verification Workshop, Volume 259 von CEUR Workshop Proceedings, (2007)Reasoning Support for CASL with Automated Theorem Proving Systems, und . WADT 2006, 4409, Seite 74-91. Springer-Verlag Heidelberg, (2007)An Analysis of the Navigation Metaphor - And Why It Works for the World Wide Web., und . Spatial Cognition & Computation, 6 (3): 235-278 (2006)Hets: The Heterogeneous Tool Set, , und . Maya: Maintaining Structured Developments, Volume 4180 von Lecture Notes in Artificial Intelligence, Springer, (2006)Ontological Modularity and Spatial Diversity, , , , und . Spatial Cognition and Computation, 7 (1): 97--128 (2007)Hets User Guide, , und . Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, (2006)Ontological Modularity and Spatial Diversity., , , , und . Spatial Cogn. Comput., 7 (1): 97-128 (2007)