( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Algebraic Properties of Qualitative Spatio-Temporal Calculi.

, , , и . CoRR, (2013)

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.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Harald Mossakowski

 

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

Monad-independent Hoare logic in HasCASL, и . Fundamental Approaches to Software Engineering (FASE 2003), том 2621 из Lecture Notes in Computer Science, стр. 261--277. Springer; Berlin; http://www.springer.de, (2003)Towards Fuzzy Neural Conceptors, , и . IfCoLog Journal of Logics and their Applications, 6 (4): 725--744 (2019)Institutions for database schemas and datasets, и . CALCO early ideas 2017, (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)Relations Between Spatial Calculi About Directions and Orientations, и . International Joint Conference on Artificial Intelligence 2017, Melbourne, (2017)OSMonto - An Ontology of OpenStreetMap Tags, , , , и . State of the map Europe (SOTM-EU) 2011, (2011)Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design, , и . Logica Univeralis, 4 (2): 255-333 (2010)Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap, , и . Magdeburger Logistiktagung, (2011)