Volker Weispfenning Person-Info 

( Ich bin Volker Weispfenning)

News

(1 - 4 von 9
)

Passau-Wiki Archiv — Artikel "Volker Weispfenning"

archiv.passau-wiki.de
Passau-Wiki Archiv — Artikel "Volker Weispfenning" Zu den aktuellen Inhalten. Zum Artikel "Volker Weispfenning" im RegioWiki; Zur Startseite des RegioWiki Warum ein Archiv des Passau-Wiki? Im Frühjahr fusionierte das Passau-Wiki mit dem von der Passauer Neuen Presse initiierten RegioWiki für Niederbayern und Altötting.

60th Birthday of Volker Weispfenning: "Algorithmic Algebra and...

resources.illc.uva.nl
Algorithmic Algebra and Logic Passau, Germany April 3--6, This event is in honor of the sixtieth birthday of Volker Weispfenning. Topics include, but ...

Internationale Konferenz "Algorithmic Algebra and Logic ...

www.uni-passau.de
· Thomas Becker, ehemals Doktorand bei Volker Weispfenning, spricht über seinen Doktorvater als “Scientist, Teacher, Mentor“. Professor Anthony C. Hearn, einer der Pioniere der Computeralgebra, gibt einen Überblick über die nun 40 Jahre andauernde Entwicklungsgeschichte seines Computeralgebra-Systems REDUCE.

Campus Event Calendar: Volker Weispfenning ( in E )

domino.mpi-inf.mpg.de
Abstract. Starting from a brief history of decision problems and their solution methods in. algebraic model theory, the talk focuses on quantifier ...
Dossier exportieren
+1