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.

 

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

Two Techniques to Improve Finite Model Search., , и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 302-308. Springer, (2000)Composition: Combining Web Service Functionality in Composite Orchestrations, и . Semantic Web Services: Concepts, Technologies, and Applications, глава 9, (2007)Application des programmes de contraintes orientés objet à l'analyse du langage naturel., и . TALN (Articles longs), стр. 209-218. ATALA, (2004)Advances in Polytime Isomorph Elimination for Configuration., , и . CP, том 3709 из Lecture Notes in Computer Science, стр. 301-313. Springer, (2005)An Intuitive Tool for Constraint Based Grammars., и . CSLP, том 3438 из Lecture Notes in Computer Science, стр. 121-139. Springer, (2004)The eXtended Least Number Heuristic., и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 427-442. Springer, (2001)Model search with equality: a language and incremental proof procedure for discourse analysis.. JFPL, стр. 109-125. TEKNEA, (1993)Pruning Isomorphic Structural Sub-problems in Configuration, , и . CoRR, (2003)Modeling Object Oriented Constraint Programs in Z. CoRR, (2003)Ant Colony Optimization for Configuration., , и . ICTAI (1), стр. 247-254. IEEE Computer Society, (2008)