Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

53.49 EUR

Marke: Springer

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

53.49 EUR 53.49 EUR

10-06-2026 10:56:47

Access to the deal