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.

 

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

On Proving and argumentation., и . AIC, том 2090 из CEUR Workshop Proceedings, стр. 72-84. CEUR-WS.org, (2017)Towards a correct translation from ASN.1 into CafeOBJ., , , и . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , и . SIGMAP, стр. 35-38. SciTePress, (2010)Applying Algebraic Specifications on Digital Right Management Systems., , , и . ICCSW, том DTR11-9 из Department of Computing Technical Report, стр. 94-100. Imperial College London, (2011)Chartering first order logic.. Developments in Language Theory, стр. 579-592. Aristotle University of Thessaloniki, (1997)On post-truth and correctness over the Web.. WebSci (Companion), стр. 67-68. ACM, (2021)Remarks on the Ethical Behavior of Artificial Intelligence (short paper)., и . SETN Workshops, том 2844 из CEUR Workshop Proceedings, стр. 123-125. CEUR-WS.org, (2020)Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review., , , , и . J. Softw., 10 (9): 1056-1069 (2015)Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications., , , и . SMAP, стр. 81-86. IEEE, (2012)Strategies for accelerating the worldwide adoption of e-commerce., и . Commun. ACM, 45 (4): 145-151 (2002)