Il s'agit de notre librairie Canada.

Il semble que vous résidiez au États-Unis. Vous devez avoir une adresse aux Canada pour effectuer des achats dans notre librairie Canada. Rendez-vous sur notre librairie États-Unis pour continuer.

Accéder à la librairie États-UnisChoisir une autre librairie
Aller au contenu principal
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 eBook par

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-book,e-book
Jeremy Avigad,Assia Mahboubi
Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9783319948218
  • Date de parution :3 juil. 2018
  • Éditeur :Springer International Publishing
  • Marque éditoriale :Springer
  • Format de fichier :EPUB3
  • Taille de fichier :20.73 MB
  • Options de téléchargement :EPUB3 (Adobe DRM)