( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Practicality of Abstract Equation Systems.

, , , и . ICLP, стр. 781-795. MIT Press, (1995)

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.

Maurice Hollmann

Wissensrepräsentation zur integrierten Steuerung von Experimenten in der Echtzeit-fMRT: neuroökonomische Untersuchung sozialer Interaktion. Uni Magdeburg, (2009)

Maurice Kersten

Maurice Bonten

Maurice Arcq

Maurice Horcajo

 

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

Abstract interpretation for constraint logic programming.. JFPL, (1992)Integrity Constraints and Interactive Concept-Learning., , и . ML, стр. 394-398. Morgan Kaufmann, (1991)A Systematic Construction of Abstract Domains, и . SAS, том 864 из Lecture Notes in Computer Science, стр. 61-77. Springer, (1994)A Portrait of a Scientist as a Computational Logician., , , и . Computational Logic: Logic Programming and Beyond, том 2407 из Lecture Notes in Computer Science, стр. 1-4. Springer, (2002)Learning directed probabilistic logical models: ordering-search versus structure-search., , , и . Ann. Math. Artif. Intell., 54 (1-3): 99-133 (2008)Lazy Model Expansion: Interleaving Grounding with Search., , , и . CoRR, (2014)Global Analysis of Constraint Logic Programs., , , , , и . ACM Trans. Program. Lang. Syst., 18 (5): 564-614 (1996)Live-Structure Dataflow Analysis for Prolog., , и . ACM Trans. Program. Lang. Syst., 16 (2): 205-258 (1994)Towards a logical reconstruction of a theory for locally closed databases., , , и . ACM Trans. Database Syst., 35 (3): 22:1-22:60 (2010)Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences., , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 599-613. Springer, (2009)