( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Precise and Efficient Groundness Analysis for Logic Programs.

, и . LOPLAS, 2 (1-4): 181-196 (1993)

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)

Kim Gerber

Bongcheol Kim

 

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

Adding Constraint Solving to Mercury., , , , , и . PADL, том 3819 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2006)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)Minimum sized text containment shapes., , и . ACM Symposium on Document Engineering, стр. 3-12. ACM, (2006)Exploration of Networks using overview+detail with Constraint-based cooperative layout., , , , , и . IEEE Trans. Vis. Comput. Graph., 14 (6): 1293-1300 (2008)Bottom-up Abstract Interpretation of Logic Programs., и . ICLP/SLP, стр. 733-748. MIT Press, (1988)Authoring diagrams that adapt to their viewing context., , и . J. Vis. Lang. Comput., (2018)Independence in CLP languages., , и . ACM Trans. Program. Lang. Syst., 22 (2): 296-339 (2000)Incremental analysis of constraint logic programs., , , и . ACM Trans. Program. Lang. Syst., 22 (2): 187-223 (2000)