( en | de | ru )

 

Disambiguierung von "Beeson, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Otter/Ivy.

, und . The Seventeen Provers of the World, Volume 3600 von Lecture Notes in Computer Science, Springer, (2006)

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 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)
 

Weitere Publikationen von Autoren mit dem selben Namen

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 von Lecture Notes in Computer Science, Seite 101-156. Springer, (1989)Logic of Ruler and Compass Constructions.. CiE, Volume 7318 von Lecture Notes in Computer Science, Seite 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 von Lecture Notes in Computer Science, Seite 1-30. Springer, (2012)OTTER Proofs in Tarskian Geometry., und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 495-510. Springer, (2014)The Meaning of Infinity in Calculus and Computer Algebra Systems., und . AISC, Volume 2385 von Lecture Notes in Computer Science, Seite 246-258. Springer, (2002)Automatic Generation of Epsilon-Delta Proofs of Continuity.. AISC, Volume 1476 von Lecture Notes in Computer Science, Seite 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)