( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof and Computation in Geometry.

. Automated Deduction in Geometry, том 7993 из Lecture Notes in Computer Science, стр. 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.

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)
 

Другие публикации лиц с тем же именем

Some Applications of Gentzen's Proof Theory in Automated Deduction.. ELP, том 475 из Lecture Notes in Computer Science, стр. 101-156. Springer, (1989)Logic of Ruler and Compass Constructions.. CiE, том 7318 из Lecture Notes in Computer Science, стр. 46-55. Springer, (2012)Proof and Computation in Geometry.. Automated Deduction in Geometry, том 7993 из Lecture Notes in Computer Science, стр. 1-30. Springer, (2012)Automatic Derivation of the Irrationality of e.. J. Symb. Comput., 32 (4): 333-349 (2001)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)A constructive version of Tarski's geometry.. Ann. Pure Appl. Log., 166 (11): 1199-1273 (2015)Unification in Lambda-Calculi with if-then-else.. CADE, том 1421 из Lecture Notes in Computer Science, стр. 103-118. Springer, (1998)Constructive Geometry and the Parallel postulate.. Bull. Symb. Log., 22 (1): 1-104 (2016)The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.. J. Symb. Log., 41 (1): 18-24 (1976)