AKTUELLE PARTNERANGEBOTE

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)

Name: Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)
Brand: Jeremy Avigad
SKU: 3589817

Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 642, publicationDate : 2018-07-04, publishers : Jeremy Avigad, Assia Mahboubi, ISBN : 3319948202

2 Angebote · ab 86,98 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)