Knihu momentálně nemáme skladem
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Autoři
Parametry
Nákup knihy
Interactive Theorem Proving, Christian Urban
- Jazyk
- Rok vydání
- 2015
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Interactive Theorem Proving
- Podtitul
- 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- Jazyk
- anglicky
- Autoři
- Christian Urban
- Vydavatel
- Springer-Verlag GmbH
- Rok vydání
- 2015
- ISBN10
- 3319221019
- ISBN13
- 9783319221014