Volker Weispfenning und Universität - Info zur Person

(1 - 8 von 12

)

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

Vortragsankündigung - mathematik.uni-muenchen.de

www.mathematik.uni-muenchen.de

Prof. Dr. Volker Weispfenning (Universität Passau) im Hörsaal E27 über das Thema. Anwendungen von Quantoreneliminationsmethoden Zusammenfassung: Algorithmische algebraische Methoden zur Elimination von Variablen in reellen Problemen sind seit langem bekannt.

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.

Verwandte Suchanfragen zu Volker Weispfenning

Heinz Kredel
Andrei Voronkov
Andreas Dolzmann

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 Universität Person-Info

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

Vortragsankündigung - mathematik.uni-muenchen.de

Publikationen • Programmiersprachen • Fachbereich ...