Publikationen

Zeige Ergebnisse 1 bis 10 von 14

In: Second International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-07) Fourth International Conference on Knowledge Capture (K-CAP-07) October 28 Whistler BC Canada CEUR Workshop Proceedings 315 CEUR-WS 2007.

Zur Publikation

In: Spatial Cognition & Computation - An Interdisciplinary Journal 7 1 Seiten 97-128 Taylor & Francis 2007.

Zur Publikation

In: 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20) May 7-9 Key West Florida United States Seiten 665-670 AAAI Press 2007.

Zur Publikation

In: International Journal of Software and Informatics (IJSI) Int J Software Informatics. 1 1 Seiten 129-152 2007.

Zur Publikation

In: TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007) 13th the European Joint Conferences on Theory and Practice of Software (ETAPS 2007) March 24-April 1 Braga Portugal Seiten 519-522 Lecture Notes in Computer Science (LNCS) 4424 Springer-Verlag Heidelberg 2007.

Zur Publikation

In: WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06) 18th June 1-3 La Roche en Ardenne Belgium Seiten 92-110 Lecture Notes in Computer Science (LNCS) 4409 Springer-Verlag Heidelberg 2007.

Zur Publikation

In: Logica Universalis. Seiten 111-133 second edition Birkhäuser 2007.

Zur Publikation

In: VERIFY 2007, 4th International Verification Workshop. Seiten 119-135 CEUR Workshop Proceedings 259 2007.

Zur Publikation

Lecture Notes in Computer Science (LNCS) 4624 Springer-Verlag Heidelberg 2007.

Zur Publikation

In: WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06) 18th June 1-3 La Roche en Ardenne Belgium Seiten 74-91 4409 Springer-Verlag Heidelberg 2007.

Zur Publikation

Jahr

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence