Wolfgang Windsteiger und Christoph Lange - Info zur Person

(1 - 12 von 12

)

Theoretical Computer Science Till Mossakowski

www.theo.ovgu.de

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger. Semantics of the distributed ...

Publications: CASL

www.informatik.uni-bremen.de

In Jacques Carette, James H. Davenport, Wolfgang Windsteiger, Petr Sojka, David Aspinall, Christoph Lange ... CASL, the Common Algebraic Specification Language.

Publications Search - Details

www.informatik.uni-bremen.de

Publication type: Article in Proceedings: Author: Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger

Suche nach Veröffentlichungen - Detailansicht

www.informatik.uni-bremen.de

Autor: Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger.

Theoretical Computer Science Publications

www.theo.ovgu.de

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger. Canonicalization in the PrIKL

Paul Libbrecht's Publication List

hoplahup.net

... Bath UK, Lecture Notes in Computer Science, Volume 7961, Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (Eds.), ...

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems...

www.muni.cz

Further information. Citation: CARETTE, Jacques, David ASPINALL, Christoph LANGE, Petr SOJKA a Wolfgang WINDSTEIGER. Intelligent Computer ...

Markus Wenzel's Papers

www21.in.tum.de

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger: A Qualitative Comparison of the ...

Understanding branch cuts of expressions — the University of...

researchportal.bath.ac.uk

Editors, Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. Place of Publication, Berlin. Publisher, Springer. Pages,

ML4PG in Computer Algebra Verification — Heriot-Watt University

researchportal.hw.ac.uk

... host publication, Intelligent Computer Mathematics. Subtitle of host publication, MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, Proceedings. Editors, Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. Publisher, Springer .

Optimising problem formulation for cylindrical algebraic...

pureportal.coventry.ac.uk

Title of host publication, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects Held as Part of CICM 2013, Proceedings. Editors, Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. Place of Publication, Heidelberg. Publisher, Springer. Pages,

Alle Infos zum Namen "Wolfgang Windsteiger"

Verwandte Suchanfragen zu Wolfgang Windsteiger

Markus Rosenkranz
Lisa Windsteiger

Personen
Vorname "Wolfgang" (62599)
Name "Windsteiger" (3)

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

Wolfgang Windsteiger und Christoph Lange Person-Info