Assia Mahboubi - Böcker

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

2 produkter

Kategorier

2 produkter

Nyhet

Proof Assistants and Their Applications in Mathematics and Computer Science

Av Jasmin Blanchette, Assia Mahboubi

Inbunden, Engelska, 2026

1 069 kr

Kommande

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