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

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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

11-06-2026 01:48:12

Access to the deal

Gesponsert Interactive Theorem Proving

SpringerLink DE

53.49 EUR 53.49 EUR

10-06-2026 10:57:04

Access to the deal

Gesponsert Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring

Galaxus.de

53.49 EUR 53.49 EUR

11-06-2026 01:34:59

Access to the deal

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

Gesponsert Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Gesponsert Interactive Theorem Proving

Gesponsert Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

Gesponsert Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Gesponsert Interactive Theorem Proving

Gesponsert Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring

Ähnliche Produkte

Spin Master Spielfigur Wizarding World - Interaktiver Dobby Hauself

BlueWalker | USV PowerWalker VI 500 R1U 19" 300W Line-Int

Cyberpower CP1200EIPFCRM2U 720W USV

AFP Interaktives Katzenspielzeug „Schmetterling“, 1 Stück