( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parchments for CafeOBJ Logics.

, , , и . Specification, Algebra, and Software, том 8373 из Lecture Notes in Computer Science, стр. 66-91. Springer, (2014)

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.

Wieslaw Skurczynski

Wieslaw Szafranski

Wieslaw Skurczynski

Wieslaw Flankowski

Wieslaw Sienkiewicz

 

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

Cataloging Design Patterns for Internet of Things Artifact Integration., , , , , , и . ICC Workshops, стр. 1-6. IEEE, (2018)Modular System Development with Pullbacks., , , , и . ICATPN, том 2679 из Lecture Notes in Computer Science, стр. 140-160. Springer, (2003)A Class of Hypernets with Token Creation and Decidable Reachability Problem., , и . CS&P, том 928 из CEUR Workshop Proceedings, стр. 37-48. CEUR-WS.org, (2012)From implicit semantics towards ontologies - practical considerations from the INTER-IoT perspective., , , , , и . CCNC, стр. 59-64. IEEE, (2017)Semantic Technologies for the IoT - An Inter-IoT Perspective., , , , и . IoTDI, стр. 271-276. IEEE Computer Society, (2016)Towards Common Vocabulary for IoT Ecosystems - preliminary Considerations., , , , и . ACIIDS (1), том 10191 из Lecture Notes in Computer Science, стр. 35-45. (2017)Identifier Management in Semantic Interoperability Solutions for IoT., , , , и . ICC Workshops, стр. 1-6. IEEE, (2018)Towards the Semantics of the Definitional Language of MetaSoft., , и . VDM Europe, том 428 из Lecture Notes in Computer Science, стр. 471-503. Springer, (1990)Context parchments.. WADT, том 1376 из Lecture Notes in Computer Science, стр. 381-401. Springer, (1997)Combining and Representing Logical Systems., , и . Category Theory and Computer Science, том 1290 из Lecture Notes in Computer Science, стр. 177-196. Springer, (1997)