( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Heterogeneous Tool Set

, , и . VERIFY 2007, 4th International Verification Workshop, том 259 из CEUR Workshop Proceedings, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Klaus Lüttich

Jürgen Lüttich

Karsta Lüttich

Jürgen Lüttich

Georg Lüttich

 

Другие публикации лиц с тем же именем

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