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
  Softcover, Springer, ISBN 3540422544 (3-540-42254-4)
• 
  FM 2006:Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
  by Not Available, Tobias Nipkow, Emil Sekerinski
  Softcover, Springer-Verlag New York Inc, ISBN 3540372156 (3-540-37215-6)
• 
  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
  Softcover, Springer Verlag, ISBN 0387582339 (0-387-58233-9)
• 
  Isabelle/Hol: A Proof Assistant for Higher-Order Logic
  by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
  Softcover, Springer Verlag, ISBN 3540433767 (3-540-43376-7)
• 
  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
  Softcover, Springer Verlag, ISBN 354064301X (3-540-64301-X)
• 
  Term Rewriting and All That
  by Tobias Nipkow, Franz Baader
  Softcover, Cambridge Univ Pr, ISBN 0521779200 (0-521-77920-0)

  More editions of Term Rewriting and All That:

  • Term Rewriting and All That: Hardcover, Cambridge Univ Pr, ISBN 0521455200 (0-521-45520-0)
• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  by Henk Barendregt, Tobias Nipkow
  Softcover, Springer Verlag, ISBN 0387580859 (0-387-58085-9)
• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  by Tobias Nipkow, Henk Barendregt
  Hardcover, Springer-Verlag, ISBN 3540580859 (3-540-58085-9)