Interactive theorem proving: 8th international conference, itp 2017, brasília, brazil, september 26–29, 2017, proceedings

Éditeur : Springer International Publishing AG
ISBN : 9783319661063
Date de publication : 21 août 2017
Dimensions : 23,5 x 15,5 cm
Langue : Anglais
Pays d'origine : Suisse

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

66,49 €
Prix de vente belge indicatif
Disponibilité
Print on Demand

Pour commander, veuillez vous connecter à votre compte.