Tobias Nipkow (Nipkow, Tobias)

• 
  Automated Reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: Proceedings
  

  by Rajeev Gore, Alexander Leitsch, Tobias Nipkow

  ISBN 3540422544 (3-540-42254-4)
  Softcover, Springer

  
  Find All Copies

   

  › Find collectible copies of 'Automated Reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: Proceedings'
• 
  FM 2006:Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
  

  by Not Available, Tobias Nipkow , Emil Sekerinski

  ISBN 3540372156 (3-540-37215-6)
  Softcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'FM 2006:Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings'
• 
  Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa
  

  by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow

  ISBN 0387582339 (0-387-58233-9)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa'
• 
  Isabelle/Hol: A Proof Assistant for Higher-Order Logic
  

  by Tobias Nipkow , Lawrence C. Paulson, Markus Wenzel

  ISBN 3540433767 (3-540-43376-7)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Isabelle/Hol: A Proof Assistant for Higher-Order Logic'
• 
  Rewriting Techniques and Applications: 9th International Conference, Rta-98 Tsukuba, Japan, March 30- April 1, 1998 Proceedings
  

  by International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan), Tobias Nipkow

  ISBN 354064301X (3-540-64301-X)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Rewriting Techniques and Applications: 9th International Conference, Rta-98 Tsukuba, Japan, March 30- April 1, 1998 Proceedings'
• 
  Term Rewriting and All That
  

  by Tobias Nipkow , Franz Baader

  ISBN 0521779200 (0-521-77920-0)
  Softcover, Cambridge Univ Pr

  
  Find All Copies

   

  › Find collectible copies of 'Term Rewriting and All That'

  More editions of Term Rewriting and All That:

  • Term Rewriting and All That: ISBN 0521455200 (0-521-45520-0)
    Hardcover, Cambridge Univ Pr
• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  

  by Henk Barendregt, Tobias Nipkow

  ISBN 0387580859 (0-387-58085-9)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers'
• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  

  by Tobias Nipkow , Henk Barendregt

  ISBN 3540580859 (3-540-58085-9)
  Hardcover, Springer-Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers'