( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification of Ontologies in CASL

, и . Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), том 114 из Frontiers in Artificial Intelligence and Applications, стр. 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)

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.

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

Till Mossakowski

 

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

ROM-Listing CPC 464/664/6128, и . Markt & Technik; Haar/München, (1986)A simple refinement language for CASL, , и . WADT 2004, том 3423 из Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, (2005)Tramway Networks as Route Graphs, , и . FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, стр. 109-119. (2004)Programmieren in Turbo-Prolog. Theorie und Praxis der logischen Programmierung, , и . Markt und Technik; Haar/München, (1988)Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Überlegungen zur seiteneffektfreien Programmierung. (1986)Bundeswettbewerb "Jugend forscht".Subsorted Partial Higher-Order Logic as an Extension of CASL, , и . Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, том 1827 из Lecture Notes in Computer Science, Springer Verlag, London, (2000)Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending, , , и . Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014, (2014)Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras, и . Mathematical Structures in Computer Science, (1995)Foundations of heterogeneous specification. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, стр. 359--375. Springer Verlag, London, (2003)Relating CASL with Other Specification Languages: the Institution Level. Theoretical Computer Science, (2002)