( en | de | ru )

 

Disambiguation of "Beeson, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Proof and Computation in Geometry.

. Automated Deduction in Geometry, volume 7993 of Lecture Notes in Computer Science, page 1-30. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Charles Henry Beeson

Charles Henry Beeson

Marvin Foster Beeson

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)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)
 

Other publications of authors with the same name

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 of Lecture Notes in Computer Science, page 1-30. Springer, (2012)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 of Lecture Notes in Computer Science, page 46-55. Springer, (2012)Some Applications of Gentzen's Proof Theory in Automated Deduction.. ELP, volume 475 of Lecture Notes in Computer Science, page 101-156. Springer, (1989)Constructive Geometry and the Parallel postulate.. Bull. Symb. Log., 22 (1): 1-104 (2016)Inconsistencies in the Process Specification Language (PSL)., , and . ATE, volume 760 of CEUR Workshop Proceedings, page 9-19. CEUR-WS.org, (2011)The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.. J. Symb. Log., 41 (1): 18-24 (1976)Otter/Ivy., and . The Seventeen Provers of the World, volume 3600 of Lecture Notes in Computer Science, Springer, (2006)