Name: Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Brand: Sandrine Blazy
SKU: ID13383246
Availability: InStock

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

53.49 EUR 9% Off 59.00 EUR

Die Proceedings der vierten ITP-Konferenz in Rennes präsentieren innovative Ansätze zur interaktiven Beweisführung, von neuen Algorithmen bis zu praxisnahen Fallstudien, und eröffnen damit neue Forschungswege.

Marke: Sandrine Blazy

ISBN: 364239633X

MPN: black & white illustrations

SKU: black & white illustrations