Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
53.49 EUR
Die Proceedings der sechsten ITP-Konferenz in Nanjing bieten einen tiefen Einblick in aktuelle Methoden des interaktiven Theorembeweisens, inklusive formaler Verifikation und automatisierter Beweissysteme, verfasst von internationalen Experten.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
Medimops DE
13-06-2026 10:30:42
SpringerLink DE
Gesponsert
Galaxus.de
Interactive Theorem Proving, Fachbücher von Christian Urban, Xingyuan Zhang
Galaxus.de
13-06-2026 22:38:29
