Interactive Theorem Proving (engleski)

· Springer, Berlin · 2018 · meʒuzvezana

Avigad, Jeremy

717,50 €

Cijena niža za 69 % u odnosu na preporučenu maloprodajnu cijenu

Uobičajeno 2 293,63 €

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in... pročitati sve

Izdavač: Springer, Berlin
Kod:
Godina izdavanja: 2018
Jezik: Engleski jezik
Uvez: Meʒuzvezana
Širina pakiranja: 15.5 cm
Visina pakiranja: 23.5 cm
Dubina pakiranja: 3.3 cm
Težina pakiranja: 990 g