( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving

, , , , , и . Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, 3, стр. 1078--1083. (2007)
DOI: 10.1109/SNPD.2007.406

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.

Jinkui Zhou

Jinkui Zhao

Changbao Hou

Bo Hou

Lei Hou

 

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

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving, , , , , и . Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, 3, стр. 1078--1083. (2007)Describing Approach for Model-Driven Collaborative Application Development., , и . AIAM (IEEE), стр. 336-343. IEEE, (2019)A Semantic-Features-Calculation Based Model Mapping Approach for Web Information Systems., , и . SERA, стр. 83-90. IEEE Computer Society, (2007)Formalization of Architecture-Centric Model Mapping Using Category Theory., , и . SNPD (1), стр. 670-675. IEEE Computer Society, (2007)Simulation-based Model Mapping Approach., , и . SERA, стр. 879-886. IEEE Computer Society, (2007)Formal Semantic Model for Agent-Based Software System.. DBTA, стр. 1-4. IEEE, (2010)Model-Driven Approach for Agent Based Software System., и . DBTA, стр. 1-4. IEEE, (2010)Improving Accuracy of Evolving GMM Under GPGPU-Friendly Block-Evolutionary Pattern., , , , , , и . IJPRAI, 34 (3): 2050006:1-2050006:34 (2020)Formal Description Approach for Agent-Based Mobile Computing., и . AIAM, стр. 222-229. ACM, (2020)Unsupervised Deep Quadruplet Hashing with Isometric Quantization for image retrieval., , , , , и . Inf. Sci., (2021)