( en | de | ru )

 

Disambiguierung von "Brain, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.

, , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 724-728. Springer, (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.

Paul Brainard

Marcus Brainard

Ingrid Brainard

Hans Brainich

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 724-728. Springer, (2008)Automatic Composition of Melodic and Harmonic Music by Answer Set Programming., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 160-174. Springer, (2008)Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice., und . Answer Set Programming, Volume 78 von CEUR Workshop Proceedings, CEUR-WS.org, (2003)Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.. SMT, Volume 2908 von CEUR Workshop Proceedings, Seite 23-31. CEUR-WS.org, (2021)Algebraic Techniques in Software Verification : Challenges and Opportunities., , und . SC²@SYNASC, Volume 1804 von CEUR Workshop Proceedings, Seite 8-12. CEUR-WS.org, (2016)Towards Automated Bounded Model Checking of API Implementations., , , und . CSTVA@ISSTA, Volume 1639 von CEUR Workshop Proceedings, Seite 31-42. CEUR-WS.org, (2016)Building Better Bit-Blasting for Floating-Point Problems., , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 79-98. Springer, (2019)Answer Set Programming ? a Domain in Need of Explanation: A Position Paper., und . ExaCt, Seite 37-48. (2008)Automatic Generation of Propagation Complete SAT Encodings., , , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 536-556. Springer, (2016)LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming., , , , , und . DALT, Volume 3904 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2005)