( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Model Checking and Theorem Proving for Relational Reasoning

, , , и . (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.

Konstantine Purtskhvanidze

Konstantinos Arkoudas

 

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

Finding Money in the Haystack: Information Retrieval at Bloomberg., , , , и . SIGIR, стр. 1075. ACM, (2015)Trusted Theorem Proving: A Case Study in SLD-Resolution., и . ISoLA, том 17 из Communications in Computer and Information Science, стр. 782-796. Springer, (2008)The Multi-Mind Effect., , , , , , и . IC-AI, стр. 43-49. CSREA Press, (2007)Automatically Discovering Euler's Identity via Genetic Programming.. AAAI Fall Symposium: Automated Scientific Discovery, том FS-08-03 из AAAI Technical Report, стр. 1-7. AAAI, (2008)Integrating Model Checking and Theorem Proving for Relational Reasoning, , , и . (2004)Semantically Driven Auto-completion., и . CIKM, стр. 2693-2701. ACM, (2019)Delexicalized Paraphrase Generation., , и . COLING (Industry), стр. 102-112. International Committee on Computational Linguistics, (2020)An Application of Formal Methods to Cognitive Radios., , и . DIFTS@FMCAD, том 832 из CEUR Workshop Proceedings, CEUR-WS.org, (2011)A model-theoretic approach to data anonymity and inference control., и . CODASPY, стр. 249-256. ACM, (2012)Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic., , и . KEOD, стр. 80-87. INSTICC Press, (2009)