PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Autexier, Serge"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Software Development in MAYA.

, und . Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 407-432. Springer, (2005)

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.

Keine Personen gefunden für den Autorennamen Autexier, Serge
Eine Person hinzufügen mit dem Namen Autexier, Serge
 

Weitere Publikationen von Autoren mit dem selben Namen

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , und . Resource-Adaptive Cognitive Processes, Springer, (2011)Development graphs - Proof management for structured specifications., , und . J. Log. Algebr. Program., 67 (1-2): 114-145 (2006)Model-Based Specification and Refinement for Cyber-Physical Systems., , und . LDIC, Seite 3-17. Springer, (2016)Simultaneous Quantifier Elimination., , und . KI, Volume 1504 von Lecture Notes in Computer Science, Seite 141-152. Springer, (1998)Deep Inference for Automated Proof Tutoring?, , , und . KI, Volume 4667 von Lecture Notes in Computer Science, Seite 435-439. Springer, (2007)On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.. TABLEAUX, Volume 3702 von Lecture Notes in Computer Science, Seite 48-62. Springer, (2005)SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo)., , , und . AmI, Volume 8309 von Lecture Notes in Computer Science, Seite 269-274. Springer, (2013)Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics., , , , und . Calculemus/MKM, Volume 6824 von Lecture Notes in Computer Science, Seite 164-179. Springer, (2011)Preface., und . Electron. Notes Theor. Comput. Sci., 174 (2): 1-2 (2007)Preface to the special issue of selected papers from FCS/VERIFY 2002., , und . Int. J. Inf. Sec., 4 (1-2): 1 (2005)