Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (1)
Country
All Countries
Germany (1)
    Results for "Andrew Harrison"
    Andrew Harrison
    1 results
    Sold By
    All Sellers
    Fishpond (1)
    Country
    All Countries
    Germany (1)
      1 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Theorem Proving in Higher ­Order Logics (15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : Proceedings (Lecture Notes in Computer Science))
      By Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
      Theorem Proving in Higher ­Order Logics (15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : Proceedings (Lecture Notes in Computer Science))
      By Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
      £44.96
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.