( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Online Justification for Tabled Logic Programs.

, , , , и . ICLP, том 2916 из Lecture Notes in Computer Science, стр. 500-501. Springer, (2003)

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.

Feng Guo

Hai-Feng Chen

Hai Li

Brigitte Hai

Hai Li

 

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

Precise Specification Matching for Automated Component Retrieval and Adaptation.. IRI, стр. 77-84. IEEE Systems, Man, and Cybernetics Society, (2003)Automatic Grammar-Based Test Generation., и . ICTSS, том 8254 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2013)A General Approach for Partitioning Web Page Content Based on Geometric and Style Information., , , , и . ICDAR, стр. 929-933. IEEE Computer Society, (2007)PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures., , , и . ICLP, том 2237 из Lecture Notes in Computer Science, стр. 27-42. Springer, (2001)A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms., , , и . Euro-Par, том 2790 из Lecture Notes in Computer Science, стр. 694-703. Springer, (2003)A Memoized Strategy for Preference Logic Programs.. TASE, стр. 255-262. IEEE Computer Society, (2008)An Approach to Regression Test Selection of Adaptive EFSM Tests., , и . TASE, стр. 217-220. IEEE Computer Society, (2011)Automated Test Oracle Generation via Denotational Semantics., , , и . QSIC, стр. 139-144. IEEE, (2014)Mode-Directed Fixed Point Computation.. LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2005)INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex., , , , и . HCI (4), стр. 1245-1249. Lawrence Erlbaum, (2003)