( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

, , , , , , и . AADEBUG, том 2 из Linköping Electronic Articles in Computer and Information Science, стр. 155-169. Linköping University Electronic Press, (1997)

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.

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

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

Parametric Descriptive Types for CLP., , и . JFPLC, стр. 239-256. Hermes, (2001)Reduction goals in bottom-up recognition.. Automatentheorie und Formale Sprachen, том 2 из Lecture Notes in Computer Science, стр. 294-300. Springer, (1973)A Logic Programming Framework for Rough Sets., и . Rough Sets and Current Trends in Computing, том 2475 из Lecture Notes in Computer Science, стр. 205-212. Springer, (2002)A Contribution to Error Recovery.. MFCS, том 32 из Lecture Notes in Computer Science, стр. 302-307. Springer, (1975)Modélisation du flot de données par des schémas d'attributs dans les programmes logiques., и . SPLT, (1984)Unification-Free Execution of Logic Programs., и . SLP, стр. 78-86. IEEE-CS, (1985)Logic Programs with External Procedures: Introducing S-Unification, , и . (апреля 1987)University of Linköping.Static and Dynamic Slicing of Constraint Logic Programs., , и . Autom. Softw. Eng., 9 (1): 41-65 (2002)Living with Inconsistency and Taming Nonmonotonicity., и . Datalog, том 6702 из Lecture Notes in Computer Science, стр. 384-398. Springer, (2010)Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems., , и . PLILP, том 631 из Lecture Notes in Computer Science, стр. 428-442. Springer, (1992)