( en | de | ru )

 

Disambiguierung von "Beeson, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inconsistencies in the Process Specification Language (PSL).

, , und . ATE, Volume 760 von CEUR Workshop Proceedings, Seite 9-19. CEUR-WS.org, (2011)

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.

Charles Henry Beeson

Charles Henry Beeson

Marvin Foster Beeson

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Some Applications of Gentzen's Proof Theory in Automated Deduction.. ELP, Volume 475 von Lecture Notes in Computer Science, Seite 101-156. Springer, (1989)Recursive models for constructive set theories.. Ann. Math. Log., 23 (2-3): 127-178 (1982)Mixing Computations and Proofs.. J. Formaliz. Reason., 9 (1): 71-99 (2016)Logic of Ruler and Compass Constructions.. CiE, Volume 7318 von Lecture Notes in Computer Science, Seite 46-55. Springer, (2012)Automatic Derivation of the Irrationality of e.. J. Symb. Comput., 32 (4): 333-349 (2001)Proof and Computation in Geometry.. Automated Deduction in Geometry, Volume 7993 von Lecture Notes in Computer Science, Seite 1-30. Springer, (2012)Constructive Geometry and the Parallel postulate.. Bull. Symb. Log., 22 (1): 1-104 (2016)Otter/Ivy., und . The Seventeen Provers of the World, Volume 3600 von Lecture Notes in Computer Science, Springer, (2006)Inconsistencies in the Process Specification Language (PSL)., , und . ATE, Volume 760 von CEUR Workshop Proceedings, Seite 9-19. CEUR-WS.org, (2011)Automatic Generation of Epsilon-Delta Proofs of Continuity.. AISC, Volume 1476 von Lecture Notes in Computer Science, Seite 67-83. Springer, (1998)