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

Your search for Ruben Gamboa

  1. Cover: Essential Logic for Computer Science - MIT Press
    Rex Page | Ruben Gamboa
    Essential Logic for Computer Science
    01/2019
    MIT Press
    9780262350723 (ISBN)
    E-Book
    ePUB
    Other editions
    €48.99
    Available for download
  2. Cover: Interactive Theorem Proving - Springer
    Gerwin Klein | Ruben Gamboa
    Interactive Theorem Proving
    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    06/2014
    Springer
    9783319089706 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Interactive Theorem Proving - Springer
    Gerwin Klein | Ruben Gamboa
    Interactive Theorem Proving
    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    08/2014
    Springer
    9783319089690 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  4. Cover: Essential Logic for Computer Science - MIT Press
    Rex Page | Ruben Gamboa
    Essential Logic for Computer Science
    01/2019
    MIT Press
    9780262039185 (ISBN)
    Book
    Hardback
    Other editions
    €59.50
    Shipment within 10-20 days