Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Science (5)
Computers (4)
Professional & Vocational (3)
Sold By
All Sellers
Fishpond (5)
Format
All Formats
Paperback (3)
Hardback (2)
    Results for "Herman Geuvers"
    Herman Geuvers
    5 results
    Refine By
    Category
    Science (5)
    Computers (4)
    Professional & Vocational (3)
    Sold By
    All Sellers
    Fishpond (5)
    Format
    All Formats
    Paperback (3)
    Hardback (2)
      5 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Type Theory and Formal ­Proof (An Introduction)
      By Rob Nederpelt, Herman Geuvers
      Type Theory and Formal ­Proof (An Introduction)
      By Rob Nederpelt, Herman Geuvers
      HK$571 Elsewhere HK$674.16 Save HK$103.16 (15%)
      21
      Logic Colloquium (2006 (Lecture Notes in Logic))
      By S.Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Vaananen
      Logic Colloquium (2006 (Lecture Notes in Logic))
      By S.Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Vaananen
      HK$1,056 Elsewhere HK$1,298.20 Save HK$242.20 (19%)
      Types for Proofs and ­Programs (Second International Workshop, Types 2002, Berg En Dal, The Netherlands, April 24-28, 2002, Selected Papers: v.2646 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Herman Geuvers, Freek Wiedijk
      Types for Proofs and ­Programs (Second International Workshop, Types 2002, Berg En Dal, The Netherlands, April 24-28, 2002, Selected Papers: v.2646 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Herman Geuvers, Freek Wiedijk
      HK$500
      Interactive Theorem Proving (Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Theoretical Computer Science and General Issues))
      By Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
      Interactive Theorem Proving (Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Theoretical Computer Science and General Issues))
      By Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
      HK$500
      Intelligent Computer ­Mathematics (10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
      By Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe
      Intelligent Computer ­Mathematics (10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
      By Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe
      HK$800