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

AvJasmin Blanchette,Assia Mahboubi

Inbunden, Engelska, 2026

1 069 kr

Skickas inom 11-20 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

AvJeremy Avigad,Assia Mahboubi

Häftad, Engelska, 2018

1 289 kr

Skickas inom 10-15 vardagar