1.
 |  | Title: Term Rewriting and All That
by Franz Baader, Tobias Nipkow
ISBN: 0521779200
Publisher: Cambridge University Press
Pub. Date: 05 August, 1999
List Price: $35.00
Amazon.com Price: $30.10 |
2.
|  | Title: Isabelle/Hol: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
ISBN: 3540433767
Publisher: Springer Verlag
Pub. Date: May, 2002
List Price: $39.95
Amazon.com Price: $39.95 |
3.
|  | Title: Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
by Tobias Nipkow, H. P. Barendregt
ISBN: 0387580859
Publisher: Springer Verlag
Pub. Date: June, 1994
List Price: $74.95
Amazon.com Price: $74.95 |
4.
|  | Title: Rewriting Techniques and Applications: 9th International Conference, Rta-98 Tsukuba, Japan, March 30- April 1, 1998: Proceedings (Lecture Notes in Computer Science, 1379)
by Tobias Nipkow, International Conference on Rewriting Techniques and Applications 1998
ISBN: 354064301X
Publisher: Springer Verlag
Pub. Date: 15 October, 1998
List Price: $79.95
Amazon.com Price: $79.95 |
5.
|  | Title: Automated Reasoning. First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2083)
by Rajeev Gore, Alexander Leitsch, Tobias Nipkow
ISBN: 3540422544
Publisher: Telos Pr
Pub. Date: 06 June, 2001
List Price: $102.00
Amazon.com Price: $102.00 |
6.
|  | Title: 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
Publisher: Springer Verlag
Pub. Date: September, 1994
List Price: $74.95
Amazon.com Price: $74.95 |
