Avis
Aucun avis pour le moment
Soyez le premier à donner votre avis sur ce livre et partagez vos pensées
Se connecter pour évaluer
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Pas encore d'évaluations
2011
·
Anglais
·
Broché