Neuware
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September…
2017 Kartoniert, 552 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319661063
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)!