Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Gespeichert in:
Hauptverfasser:
Urban, Christian (HerausgeberIn), Zhang, Xingyuan (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing 2015
Ausgabe:
1st ed. 2015
Umfang:
XI, 469 p. 63 illus
ISBN:
9783319221021
ISSN:
0302-9743
Schlagworte:
Computer science
Software engineering
Data protection
Computer software
Logic design
Artificial intelligence
Bezugswerke:
Links: