( en | de | ru )

 

Disambiguierung von "Parrain, Anne"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On SAT Technologies for Dependency Management and Beyond.

, und . SPLC (2), Seite 197-200. Lero Int. Science Centre, University of Limerick, Ireland, (2008)

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.

Fabien Parrain

Helmut Annen

Jan Peter Annecke

Dieter Annemaier

Marianne Annen

 

Weitere Publikationen von Autoren mit dem selben Namen

Prolog Program Transformations and Meta-Interpreters., , und . LOPSTR, Seite 238-251. Springer, (1991)Compressing UNSAT Search Trees with Caching., , , und . ICAART (3), Seite 358-365. SCITEPRESS, (2023)Méta-interprétation et transformations de programmes logiques.. JFPLC, Seite 77-92. (1994)On SAT Technologies for Dependency Management and Beyond., und . SPLC (2), Seite 197-200. Lero Int. Science Centre, University of Limerick, Ireland, (2008)The Sat4j library, release 2.2., und . J. Satisf. Boolean Model. Comput., 7 (2-3): 59-6 (2010)Source-to-source Prolog Program Compression., , , und . IJCSLP, Seite 205-219. MIT Press, (1998)Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation., , und . LOPSTR, Seite 228-241. Springer, (1992)Compressing UNSAT CDCL Trees with Caching., , , und . ICAART (3), Seite 792-799. SCITEPRESS, (2024)Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs., , und . JTASPEFT/WSA, Volume 74 von Series Bigre, Seite 132-138. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)