Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG

Stabilní cena

Cenu sledujeme od 1. 10. 2026 a zatím se drží na 1 336 Kč.

1 336 Kč

Springer International Publishing AG

Celý popis

Do obchodu

O produktu

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.