Interactive Theorem Proving

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Interactive Theorem Proving sono 9783319948218, 3319948210 e gli ISBN per la versione cartacea sono 9783319948201, 3319948202. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Interactive Theorem Proving sono 9783319948218, 3319948210 e gli ISBN per la versione cartacea sono 9783319948201, 3319948202. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.