Das Buch ist derzeit nicht auf Lager
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Autoren
Parameter
Buchkauf
Interactive Theorem Proving, Christian Urban
- Sprache
- Erscheinungsdatum
- 2015
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Interactive Theorem Proving
- Untertitel
- 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- Sprache
- Englisch
- Autor*innen
- Christian Urban
- Verlag
- Springer-Verlag GmbH
- Erscheinungsdatum
- 2015
- ISBN10
- 3319221019
- ISBN13
- 9783319221014