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

59.00 EUR

Marke: Springer

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

59.00 EUR 59.00 EUR

27-07-2026 20:00:05

Access to the deal