Kniha momentálne nie je na sklade
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Autori
Parametre
Nákup knihy
Interactive Theorem Proving, Christian Urban
- Jazyk
- Rok vydania
- 2015
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Interactive Theorem Proving
- Podtitul
- 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- Jazyk
- anglicky
- Autori
- Christian Urban
- Vydavateľ
- Springer-Verlag GmbH
- Rok vydania
- 2015
- ISBN10
- 3319221019
- ISBN13
- 9783319221014