( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ViMer: a visual debugger for mercury.

, , , и . PPDP, стр. 56-66. ACM, (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.

Sabine Marriott

Chris Marriott

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Baeckpyeng Kim

Kison Kim

 

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

Explicit Representation of Terms Defined by Counter Examples., и . J. Autom. Reason., 3 (3): 301-317 (1987)Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs., , , и . SAS, том 1145 из Lecture Notes in Computer Science, стр. 385-386. Springer, (1996)Constraint Cascading Style Sheets for the Web., , , и . ACM Symposium on User Interface Software and Technology, стр. 73-82. ACM, (1999)Solving Linear Arithmetic Constraints for User Interface Applications., , , и . ACM Symposium on User Interface Software and Technology, стр. 87-96. ACM, (1997)Incremental analysis of constraint logic programs., , , и . ACM Trans. Program. Lang. Syst., 22 (2): 187-223 (2000)Optimizing Compilation of CLP(R)., , , , и . ACM Trans. Program. Lang. Syst., 20 (6): 1223-1250 (1998)Independence in CLP languages., , и . ACM Trans. Program. Lang. Syst., 22 (2): 296-339 (2000)Authoring adaptive diagrams., , и . ACM Symposium on Document Engineering, стр. 154-163. ACM, (2008)Review of automatic document formatting., , и . ACM Symposium on Document Engineering, стр. 99-108. ACM, (2009)Automatic float placement in multi-column documents., , и . ACM Symposium on Document Engineering, стр. 125-134. ACM, (2007)