Jeremy Avigad - Böcker

Visar alla böcker från författaren Jeremy Avigad.

2 produkter

Kategorier

2 produkter

Mathematical Logic and Computation

Av Jeremy Avigad, Pennsylvania) Avigad, Jeremy (Carnegie Mellon University

Inbunden, Engelska, 2022

1 049 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Av Jeremy Avigad, Assia Mahboubi

Häftad, Engelska, 2018

1 299 kr

Skickas inom 10-15 vardagar