Interactive Theorem | Kaicus Deutschland

product image

product image

product image

product image

Interactive Theorem Proving

52.94 EUR 1% Off 53.49 EUR

Marke: Springer

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)

52.94 EUR 53.49 EUR

11-06-2026 01:21:37

Access to the deal

Gesponsert Interactive Theorem Proving

SpringerLink DE

53.49 EUR 53.49 EUR

11-06-2026 10:18:18

Access to the deal

Gesponsert Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

Galaxus.de

53.49 EUR 53.49 EUR

11-06-2026 03:11:09

Access to the deal

Ähnliche Produkte