( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reuse of Results in Termination Analysis of Typed Logic Programs.

, , , и . SAS, том 2477 из Lecture Notes in Computer Science, стр. 477-492. Springer, (2002)

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 Klinkenberg

Florian Maurice

Maurice Arcq

 

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

A Practical Framework for the Abstract Interpretation of Logic Programs.. J. Log. Program., 10 (2): 91-124 (1991)Interactive Concept-Learning and Constructive Induction by Analogy, и . Machine Learning, 8 (2): 107--150 (1992)Polymorphic algebraic data type reconstruction., и . PPDP, стр. 85-96. ACM, (2006)Mining data from intensive care patients., , , , , , и . Adv. Eng. Informatics, 21 (3): 243-256 (2007)Constructive Induction by Analogy., и . ML, стр. 476-477. Morgan Kaufmann, (1989)Translation of Aggregate Programs to Normal Logic Programs., , и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs., , и . ICLP, стр. 649-663. MIT Press, (1990)The Derivation of an Algorithm for Program Specialisation., и . ICLP, стр. 732-746. MIT Press, (1990)On the Automatic Generation of Events in Delta Prolog., и . PLILP, том 456 из Lecture Notes in Computer Science, стр. 324-339. Springer, (1990)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., и . LPAR, том 1705 из Lecture Notes in Computer Science, стр. 358-375. Springer, (1999)