( en | de | ru )

 

Disambiguierung von "Marriott, Kim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analysis of Constraint Logic Programs.

, und . NACLP, Seite 531-547. MIT Press, (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

Incremental Constraint Deletion in Systems of Linear Constraints., und . Inf. Process. Lett., 55 (2): 111-115 (1995)Incremental Analysis of Logic Programs., , , und . ICLP, Seite 797-811. MIT Press, (1995)Semantics of Constraint Logic Programs with Optimization., und . ICLP Workshop: Integration of Declarative Paradigms, Seite 23-35. Max-Planck-Institut für Informatik, Saarbrücken, Germany, (1994)Approximating Interaction between Linear Arithmetic Constraints., und . ILPS, Seite 571-585. MIT Press, (1994)A Generic Framework for Context-Sensitive Analysis of Modular Programs., , , , , , und . Program Development in Computational Logic, Volume 3049 von Lecture Notes in Computer Science, Springer, (2004)Bottom-up Abstract Interpretation of Logic Programs., und . ICLP/SLP, Seite 733-748. MIT Press, (1988)Authoring diagrams that adapt to their viewing context., , und . J. Vis. Lang. Comput., (2018)Exploration of Networks using overview+detail with Constraint-based cooperative layout., , , , , und . IEEE Trans. Vis. Comput. Graph., 14 (6): 1293-1300 (2008)Authoring adaptive diagrams., , und . ACM Symposium on Document Engineering, Seite 154-163. ACM, (2008)Review of automatic document formatting., , und . ACM Symposium on Document Engineering, Seite 99-108. ACM, (2009)