Autor der Publikation

Hets: The Heterogeneous Tool Set

, , und . Maya: Maintaining Structured Developments, Volume 4180 von Lecture Notes in Artificial Intelligence, Springer, (2006)

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)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)Reasoning Support for CASL with Automated Theorem Proving Systems, und . WADT 2006, 4409, Seite 74-91. Springer-Verlag Heidelberg, (2007)Hets User Guide, , und . Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, (2006)