Volker Weispfenning und Passau - Info zur Person

(1 - 20 von 29

)

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.

Passau-Wiki Archiv — Artikel "Diskussion:Volker Weispfenning"

archiv.passau-wiki.de

Ist Volker Weispfenning bereits emeritiert? Laut Seite der Fakultät gibts nämlich seinen Lehrstuhl gar nicht mehr (stattdessen jetzt den ...

beluga - Exemplare: Efficient decision procedures for locally...

beluga.sub.uni-hamburg.de

Efficient decision procedures for locally finite theories ; Volker Weispfenning. Fakultät für Mathematik und Informatik, Universität Passau. Kein Bild verfügbar ...

Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April

books.google.de

Algorithmic Algebra and Logic: Proceedings of the A3L , April 3-6, Passau, Germany : Conference in Honor of the 60th Birthday of Volker Weispfenning.

Pensionierte und ehemalige Professoren • Universität Passau

www.fim.uni-passau.de

Dr. Volker Weispfenning.

Robust Stability for Parametric Linear ODEs Volker Weispfenning ...

casc2007.bit.uni-bonn.de

Robust Stability for Parametric. Linear ODEs. Volker Weispfenning,. University of Passau. 1. Page 2. Content: A logical tool in robust control theory for systems of ...

CASC Announcement

wwwmayr.informatik.tu-muenchen.de

Volker Weispfenning (Passau) ...

CASC-2000

wwwmayr.informatik.tu-muenchen.de

Volker Weispfenning (Passau) Andreas Weber (Tubingen) Franz Winkler (Linz) Christoph Zenger (Munich) Workshop organizing committee Michal Mnuk (chair) Annelies Schmidt (secretary) Klaus Wimmer Local organizing committee Shavgat Ayupov Alubek …

Gröbner bases for polynomial ideals over commutative regular rings |...

link.springer.com

GROBNER BASES FOR POLYNOMIAL IDEALS. OVER COMMUTATIVE REGULAR RINGS. Volker Weispfenning. Lehrstuhl fQr Mathematik. Universit~t Passau.

Algorithmic algebra and logic : proceedings of the A3L 2005, April...

www.worldcat.org

Diesen Titel erhalten Sie in einer Bibliothek! Algorithmic algebra and logic : proceedings of the A3L 2005, April 3-6, Passau, Germany conference in honor of...

Volker Weispfenning – RegioWiki Niederbayern

www.niederbayern-wiki.de

Prof. Dr. Volker Weispfenning (* in Frankfurt am Main) ist ein deutscher Mathematiker. Von bis war er Inhaber des Lehrstuhls für Algebra an der Universität Passau.. Leben und Wirken. Von bis absolvierte Weispfenning ein Diplomstudium der Mathematik an der Ruprecht-Karls-Universität Heidelberg. Im Anschluss daran promovierte er hier bis bei Peter Roquette.

Publikationen • Programmiersprachen • Fachbereich ...

www.mi.fu-berlin.de

Dirk Draheim, Dima Suliman, Winfried Neun. Employing Computer Algebra for Classifying Mathematical Web Content. Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, Universität Passau, to appear. Dirk Draheim, Christof Lutteroth and Gerald Weber.

Igor Walukiewicz
Harald Hundius
Gunter Ritter

Peter Weispfenning
Fritz Weispfenning

Personen
Vorname "Volker" (26682)
Name "Weispfenning" (22)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Volker Weispfenning und Passau Person-Info

Passau-Wiki Archiv — Artikel "Volker Weispfenning"

Passau-Wiki Archiv — Artikel "Diskussion:Volker Weispfenning"

beluga - Exemplare: Efficient decision procedures for locally...

Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April

Pensionierte und ehemalige Professoren • Universität Passau

Robust Stability for Parametric Linear ODEs Volker Weispfenning ...

CASC Announcement

CASC-2000

Gröbner bases for polynomial ideals over commutative regular rings |...

Algorithmic algebra and logic : proceedings of the A3L 2005, April...

Volker Weispfenning – RegioWiki Niederbayern

Publikationen • Programmiersprachen • Fachbereich ...

IAMC Workshop 1999: list of attendees

Lecture by Volker Weispfenning

Suche nach volker weispfenning

CA-Report |

Local Quantifier Elimination

OPAC Inria : Solving univariate P-adic constraints / Thomas Sturm ...

Publications

Publications

Alle Infos zum Namen "Volker Weispfenning"