Jeremy Avigad – författare

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

2 produkter

1. 

   Mathematical Logic and Computation

   Av Jeremy Avigad

   Inbunden, 2022

   1399 kr

   Lägg i varukorg

2. 

   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, 2018

   1319 kr

   Lägg i varukorg