( en | de | ru )

 

Disambiguierung von "Schachte, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Weighted Spanning Tree Constraint with Explanations.

, , , und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 98-107. Springer, (2016)

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.

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)

Robert Martin Peterreins

Musikhörfähigkeit von Patienten mit elektroakustischer Stimulation: Testung anhand des Mu.S.I.C.-Tests. TU München, (2009)

Ralf Petereit

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling CP subproblems to MDDs and d-DNNFs., , , und . Constraints An Int. J., 24 (1): 56-93 (2019)Adtpp: lightweight efficient safe polymorphic algebraic data types for C., , und . Softw. Pract. Exp., 46 (12): 1685-1703 (2016)Precise goal-independent abstract interpretation of constraint logic programs.. Theor. Comput. Sci., 293 (3): 557-577 (2003)Un-Kleene Boolean equation Solving., , und . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)Global Variables in Logic Programming.. ICLP, Seite 3-17. MIT Press, (1997)Binary Decision Diagrams for Affine Approximation, , , und . CoRR, (2008)Lightweight Nontermination Inference with CHCs., , , , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2021)Constraint Programming for Dynamic Symbolic Execution of JavaScript., , , , , und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2019)Transformation-Enabled Precondition Inference., , , , und . Theory Pract. Log. Program., 21 (6): 700-716 (2021)String Constraint Solving: Past, Present and Future., , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2875-2876. IOS Press, (2020)