Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
53.49 EUR
Erkunden Sie die neuesten Entwicklungen der interaktiven Beweisführung durch ausgewählte Papers aus der vierten ITP-Konferenz in Rennes, die theoretische Fortschritte mit praktischen Anwendungen verbinden und neue Perspektiven für Forschung und Lehre eröffnen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Medimops DE
23-04-2026 06:14:00
SpringerLink DE
Gesponsert
Galaxus.de
Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring
Galaxus.de
22-04-2026 21:19:23
Ähnliche Produkte
Interactive Theorem Proving
52.94 EUR
Interactive Theorem Proving
42.79 EUR
Interactive Theorem Proving
42.79 EUR