Neuware
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27…
2015 Kartoniert, 484 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
60,88 EUR
Kostenloser Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9783319221014
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!