( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lazy Model Expansion: Interleaving Grounding with Search.

, , , и . CoRR, (2014)

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 Bonten

Maurice Arcq

Maurice Horcajo

Maurice Kersten

 

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

Constructive Induction by Analogy., и . ML, стр. 476-477. Morgan Kaufmann, (1989)A MIP Backend for the IDP System., , , и . CoRR, (2016)Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code, , , и . CoRR, (2007)Coherent Integration of Databases by Abductive Logic Programming, , , и . CoRR, (2011)Polymorphic algebraic data type reconstruction., и . PPDP, стр. 85-96. ACM, (2006)Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation., и . J. Log. Program., 13 (2&3): 205-258 (1992)Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , и . J. Electron. Test., 26 (2): 279-292 (2010)Extending constraint logic programming with open functions., и . PPDP, стр. 235-244. ACM, (2000)On the Automatic Generation of Events in Delta Prolog., и . PLILP, том 456 из Lecture Notes in Computer Science, стр. 324-339. Springer, (1990)Verification of Source Code Transformations by Program Equivalence Checking., , , и . CC, том 3443 из Lecture Notes in Computer Science, стр. 221-236. Springer, (2005)