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

Your search for G. Huet

  1. Cover: Interactive Theorem Proving and Program Development - Springer
    Yves Bertot | Pierre Castéran
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    03/2013
    Springer
    9783662079645 (ISBN)
    E-Book
    PDF
    Other editions
    €90.94
    Available for download
  2. Cover: Logic, Algebra, and Computation - Springer
    Friedrich L. Bauer
    Logic, Algebra, and Computation
    International Summer School
    12/2012
    Springer
    9783642767999 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Logic, Algebra, and Computation - Springer
    Friedrich L. Bauer
    Logic, Algebra, and Computation
    International Summer School
    01/2012
    Springer
    9783642768019 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  4. Cover: Interactive Theorem Proving and Program Development - Springer
    Yves Bertot | Pierre Castéran
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    12/2010
    Springer
    9783642058806 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 7-9 days
  5. Cover: Interactive Theorem Proving and Program Development - Springer
    Yves Bertot | Pierre Castéran
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    05/2004
    Springer
    9783540208549 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 10-15 days
  6. Cover: Fundamentals of Artificial Intelligence - Springer
    Wolfgang Bibel | A.W. Biermann | J.P. Delgrande
    Fundamentals of Artificial Intelligence
    An Advanced Course
    08/1986
    Springer
    9783540167822 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Logic, Algebra, and Computation - Springer
    Friedrich L. Bauer
    Logic, Algebra, and Computation
    International Summer School
    09/1991
    Springer
    9783540543152 (ISBN)
    Book
    Hardback
    Other editions
    €139.09
    Exhausted; check different version
  8. This image is currently not available.
    Wolfgang Bibel | A.W. Biermann | J.P. Delgrande
    Fundamentals of Artificial Intelligence
    An Advanced Course
    09/1987
    Springer
    9783540182658 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €24.00
    Exhausted; check different version