Jeremy Avigad – författare
Visar alla böcker från författaren Jeremy Avigad.
2 produkter
2 produkter
Inbunden, Engelska, 2022
1 109 kr
Skickas inom 7-10 vardagar
Del 10895 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2018
1 289 kr
Skickas inom 10-15 vardagar