( en | de | ru )

 

Disambiguierung von "Bruynooghe, Maurice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inverse Resolution in an Integrated Inductive-Deductive Learning System.

, , und . ECAI, Seite 456-457. John Wiley and Sons, (1992)

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.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

Polymorphic algebraic data type reconstruction., und . PPDP, Seite 85-96. ACM, (2006)Extending constraint logic programming with open functions., und . PPDP, Seite 235-244. ACM, (2000)On the Automatic Generation of Events in Delta Prolog., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 324-339. Springer, (1990)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 358-375. Springer, (1999)Logic programming revisited: Logic programs as inductive definitions., , und . ACM Trans. Comput. Log., 2 (4): 623-654 (2001)Deriving Transformations for Logic Programs Using Abstract Interpretation., und . LOPSTR, Seite 99-117. Springer, (1992)Analysis of Dependencies to Improve the Behaviour of Logic Programs.. CADE, Volume 87 von Lecture Notes in Computer Science, Seite 293-305. Springer, (1980)Database Repair by Signed Formulae., , , und . FoIKS, Volume 2942 von Lecture Notes in Computer Science, Seite 14-30. Springer, (2004)Verification of Source Code Transformations by Program Equivalence Checking., , , und . CC, Volume 3443 von Lecture Notes in Computer Science, Seite 221-236. Springer, (2005)Explanation Based Program Transformation., , und . IJCAI, Seite 407-412. Morgan Kaufmann, (1989)