Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Mathematics (14)
Medical (6)
Sold By
All Sellers
Fishpond (14)
Age Range
All Ranges
15+ (1)
All Ages (2)
Country
All Countries
Germany (12)
Switzerland (2)
    Results for "Nipkow, Tobias"
    Nipkow, Tobias
    15 results
    Refine By
    Category
    Mathematics (14)
    Medical (6)
    Sold By
    All Sellers
    Fishpond (14)
    Age Range
    All Ranges
    15+ (1)
    All Ages (2)
    Country
    All Countries
    Germany (12)
    Switzerland (2)
      15 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Isabelle/HOL (A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science))
      By Nipkow, Tobias, Paulson, Lawrence C., Markus Wenzel
      Isabelle/HOL (A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science))
      By Nipkow, Tobias, Paulson, Lawrence C., Markus Wenzel
      £49.92
      1
      Concrete Semantics (With Isabelle/HOL)
      By Nipkow, Tobias, Klein, Gerwin
      Concrete Semantics (With Isabelle/HOL)
      By Nipkow, Tobias, Klein, Gerwin
      £76.38
      Concrete Semantics (With Isabelle/Hol)
      By Klein, Gerwin, Nipkow, Tobias
      Concrete Semantics (With Isabelle/Hol)
      By Klein, Gerwin, Nipkow, Tobias
      £44.77
      FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
      FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
      £93.21
      Automated Reasoning (First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
      By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
      Automated Reasoning (First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
      By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
      £89.48
      Types for Proofs and ­Programs (International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science))
      By Henk Barendregt, Tobias Nipkow
      Types for Proofs and ­Programs (International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science))
      By Henk Barendregt, Tobias Nipkow
      £44.99
      Higher-Order Algebra, Logic ­and Term Rewriting (First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
      Higher-Order Algebra, Logic ­and Term Rewriting (First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
      £45.03
      Rewriting Techniques and ­Applications (9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Tobias Nipkow
      Rewriting Techniques and ­Applications (9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Tobias Nipkow
      £45.03
      Theorem Proving in Higher ­Order Logics (22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
      Theorem Proving in Higher ­Order Logics (22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
      £45.11
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      £44.86
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      £45.17
      Automated Deduction - ­Cade-16: 16th International ­Conference on Automated ­Deduction, Trento, Italy, ­July 7-10, 1999, ­Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)
      By Harald Ganzinger
      Automated Deduction - ­Cade-16: 16th International ­Conference on Automated ­Deduction, Trento, Italy, ­July 7-10, 1999, ­Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)
      By Harald Ganzinger
      £45.60
      Types for Proofs and ­Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))
      By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
      Types for Proofs and ­Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))
      By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
      £44.99
      Rewriting Techniques and ­Applications (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))
      By Leo Bachmair
      Rewriting Techniques and ­Applications (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))
      By Leo Bachmair
      £44.91
      Logical Environments
      By Gerard Huet, Gordon Plotkin
      Logical Environments
      By Gerard Huet, Gordon Plotkin
      Currently
      Unavailable
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.