3 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Assia Mahboubi

  1. Cover: Interactive Theorem Proving - Springer
    Jeremy Avigad | Assia Mahboubi
    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
    07/2018
    Springer
    9783319948218 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Proof Assistants and Their Applications in Mathematics and Computer Science - Springer
    Jasmin Blanchette | Assia Mahboubi
    Proof Assistants and Their Applications in Mathematics and Computer Science
    approx. 11/2026
    Springer
    9783031851896 (ISBN)
    Book
    Hardback
    €80.24
    Not yet published
  3. Cover: Interactive Theorem Proving - Springer
    Jeremy Avigad | Assia Mahboubi
    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
    07/2018
    Springer
    9783319948201 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 10-15 days