Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Sandrine Blazy/Christine Paulin-Mohring/David Pichardie"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Sandrine Blazy/Christine Paulin-Mohring/David Pichardie" gefunden.

Katalogsuche

Cover von Interactive Theorem Proving

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26,2013, Proceedings, Lecture Notes in Computer Science 7998 - Theoretical Computer Science and General Issues

Sandrine Blazy/Christine Paulin-Mohring/David Pichardie

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.

Jetzt anmelden