From post

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.

 

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

Relations Between Spatial Calculi About Directions and Orientations, и . International Joint Conference on Artificial Intelligence 2017, Melbourne, (2017)Institutions for database schemas and datasets, и . CALCO early ideas 2017, (2017)The Distributed Ontology, Model and Specification Language – DOL. WADT 2016, том 10644 из LNCS, стр. 5-10. Springer, (2017)The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, , , и . Intelligent Computer Mathematics, 7362, стр. 463--467. Springer Verlag, (2012)Proof Support for Common Logic, , , , и . Automated Reasoning in Quantified Non-Classical Logics (ARQNL), 33, стр. 42--58. EasyChair, (2014)The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility, , , , , и . Terminology and Knowledge Engineering Conference (TKE), стр. 33--48. (2012)How to write consistent CASL design specifications. (2000)CoFI note M-8.Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen, (2005)Hets User Guide, , и . Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, (2006)OSMonto - An Ontology of OpenStreetMap Tags, , , , и . State of the map Europe (SOTM-EU) 2011, (2011)