CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 15 of 15 Results
1.
Term Rewriting and All That
Term Rewriting and All That by Baader, Franz, Nipkow, Tobias ISBN: 9780521779203 List Price: $48.00
$57.29 Own it? Sell it back for $8.04
2.
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, ...
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, ... by Berghofer, Stefan, Nipkow, ... ISBN: 9783642033582 List Price: $99.00
$51.31 (Save 48%)
3.
Isabelle/Hol A Proof Assistant for Higher-Order Logic
Isabelle/Hol A Proof Assistant for Higher-Order Logic by Nipkow, Tobias, Paulson, L.... ISBN: 9783540433767 List Price: $69.95
$56.95 (Save 18%)
4.
Types for Proofs and Programs International Workshop Types '93, Nijmegen, the Netherlands, M...
Types for Proofs and Programs International Workshop Types '93, Nijmegen, the Netherlands, M... by Barendregt, Hank, Nipkow, T... ISBN: 9780387580852 List Price: $74.95

OUT OF STOCK

See Availability on Amazon
5.
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu...
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu... by Misra, Jayadev, Nipkow, Tob... ISBN: 9783540372158 List Price: $100.00
$75.20 (Save 24%)
6.
Automated Reasoning Proceedings of the First International Joint Conference, Ijcar 2001 Sien...
Automated Reasoning Proceedings of the First International Joint Conference, Ijcar 2001 Sien... by Gore, Rajeev, Leitsch, Alex... ISBN: 9783540422549 List Price: $105.00
$103.17 (Save 1%)
7.
Concrete Semantics : A Proof Assistant Approach
Concrete Semantics : A Proof Assistant Approach by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319105413 List Price: $69.99
$78.49
8.
Concrete Semantics : With Isabelle/Hol
Concrete Semantics : With Isabelle/Hol by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319357591 List Price: $79.99
$51.31 (Save 35%)
9.
Concrete Semantics : With Isabelle/Hol
Concrete Semantics : With Isabelle/Hol by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319105437 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Isabelle/Hol
Isabelle/Hol by Nipkow, Tobias, Paulson, La... ISBN: 9783662182291 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Automated Reasoning
Automated Reasoning by Gore, Rajeev, Leitsch, Alex... ISBN: 9783662171196 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Types for Proofs and Programs
Types for Proofs and Programs by Barendregt, Henk, Nipkow, T... ISBN: 9783662204559 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Rewriting Techniques and Applications
Rewriting Techniques and Applications by Nipkow, Tobias ISBN: 9783662193471 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Term Rewriting+all That
Term Rewriting+all That by Baader, Franz, Nipkow, Tobias ISBN: 9780521455206 List Price: $83.99

OUT OF STOCK

See Availability on Amazon
15.
Term Rewriting and All That
Term Rewriting and All That by Baader, Franz, Nipkow, Tobias ISBN: 9781316043851

OUT OF STOCK

See Availability on Amazon