| Books 1 - 10 of 13 | Previous | Next | 
|  | | Term Rewriting and All That
by Franz Baader, Tobias Nipkow
Paperback, 314 Pages, Published 1999 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)
by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow (Editor)
Paperback, 351 Pages, Published 1994 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 993. Selected Papers (Lecture Notes in Computer Science) (1st Edition)
by Henk Barendregt (Editor), Tobias Nipkow (Editor)
Paperback, 383 Pages, Published 1994 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April , 998, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Tobias Nipkow (Editor)
Paperback, 342 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security) (Nato Science for Peace and Security)
by Orna Grumberg (Editor), Tobias Nipkow (Editor), Christian Pfaller (Editor)
Hardcover, 332 Pages, Published 2008 by IOS Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 993. Selected Papers (Lecture Notes in Computer Science) (1st Edition)
by Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor), Tobias Nipkow (Editor)
Paperback, 344 Pages, Published 1994 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automated Reasoning: First International Joint Conference, IJCAR 200 Siena, Italy, June 8-23, 200 Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Gore (Editor), Alexander Leitsch (Editor), Tobias Nipkow (Editor)
Paperback, 708 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | FM 2006: Formal Methods: 4th International Symposium on Formal Methods, Hamilton, Canada, August 2-27, 2006, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor)
Paperback, 620 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Rewriting Techniques and Applications.
by Tobias (ed) Nipkow
Paperback, Published 1997 by see notes for publisher info
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|