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.

 

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

Unfolding Existentially Quantified Sets of Extended Clauses., и . KEOD, стр. 96-103. SciTePress, (2016)Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation., и . KEOD, стр. 253-260. SciTePress, (2013)An ET-Based Low-Level Solution for Query-Answering Problems., и . MIWAI, том 8271 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2013)Inheritance Hierarchy Mechanism in Prolog.. LP, том 264 из Lecture Notes in Computer Science, стр. 12-21. Springer, (1986)A Parallel Genetic Algorithm Based on Linkage Identification., , и . GECCO, том 2723 из Lecture Notes in Computer Science, стр. 1222-1233. Springer, (2003)Semantic Query Optimization: Correctness and Control., , и . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 270-280 (2006)A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU., , , и . IEEE Congress on Evolutionary Computation, стр. 1-8. IEEE, (2010)Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms., , и . SMC, стр. 2362-2367. IEEE, (2006)A Basic Model for Learning Systems., и . IJCAI, стр. 4-6. William Kaufmann, (1979)Integration of and a Solution for Proof Problems and Query-Answering Problems., и . IC3K, том 454 из Communications in Computer and Information Science, стр. 215-229. Springer, (2013)