( 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 Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)
 

Other publications of authors with the same name

Mixing Computations and Proofs.. J. Formaliz. Reason., 9 (1): 71-99 (2016)Automatic Derivation of the Irrationality of e.. J. Symb. Comput., 32 (4): 333-349 (2001)Some Applications of Gentzen's Proof Theory in Automated Deduction.. ELP, volume 475 of Lecture Notes in Computer Science, page 101-156. Springer, (1989)Logic of Ruler and Compass Constructions.. CiE, volume 7318 of Lecture Notes in Computer Science, page 46-55. Springer, (2012)Recursive models for constructive set theories.. Ann. Math. Log., 23 (2-3): 127-178 (1982)Proof and Computation in Geometry.. Automated Deduction in Geometry, volume 7993 of Lecture Notes in Computer Science, page 1-30. Springer, (2012)OTTER Proofs in Tarskian Geometry., and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 495-510. Springer, (2014)The Meaning of Infinity in Calculus and Computer Algebra Systems., and . AISC, volume 2385 of Lecture Notes in Computer Science, page 246-258. Springer, (2002)Automatic Generation of Epsilon-Delta Proofs of Continuity.. AISC, volume 1476 of Lecture Notes in Computer Science, page 67-83. Springer, (1998)The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.. J. Symb. Log., 41 (1): 18-24 (1976)