Suchergebnisse für "Nipkow, Tobias/Paulson, Lawrence C/Wenzel, Markus"

Suche filtern:

Redaktionelle Inhalte

Volltextsuche

Katalogsuche

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Nipkow, Tobias/Paulson, Lawrence C/Wenzel, Markus" gefunden.

A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science 2283

Nipkow, Tobias/Paulson, Lawrence C/Wenzel, Markus

Springer Verlag GmbH

64,19 €

(inklusive MwSt.)

Lieferbar

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