Assia Mahboubi – författare

Visar alla böcker från författaren Assia Mahboubi.

2 produkter

1. 

   Proof Assistants and Their Applications in Mathematics and Computer Science

   Av Jasmin Blanchette, Assia Mahboubi

   Inbunden, 2027

   1159 kr

   Kommande

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