Sell, buy or rent Tobias Nipkow textbooks

9780387582337-0387582339-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)
9780387582337-0387582339-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)

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
ISBN-13: 9780387582337
ISBN-10: 0387582339
Publication date: 1994
Publisher: Springer Verlag
Format: Paperback 344 pages
9780521779203-0521779200-Term Rewriting and All That
9780521779203-0521779200-Term Rewriting and All That

Term Rewriting and All That

by Franz Baader, Tobias Nipkow
ISBN-13: 9780521779203
ISBN-10: 0521779200
Edition: Revised
Publication date: 1999
Publisher: Cambridge University Press
Format: Paperback 316 pages
Sell Buy from $59.87 eBook from $54.40
9783319105413-3319105418-Concrete Semantics: With Isabelle/HOL
9783319105413-3319105418-Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow, Gerwin Klein
ISBN-13: 9783319105413
ISBN-10: 3319105418
Edition: 2014
Publisher: Springer
Format: Hardcover 311 pages
Sell Buy from $79.20 eBook from $16.50
9783540433767-3540433767-Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
9783540433767-3540433767-Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

by Tobias Nipkow
ISBN-13: 9783540433767
ISBN-10: 3540433767
Edition: 2002
Publisher: Springer
Format: Paperback 240 pages
Sell Buy from $56.92 eBook from $18.00
9783319357591-331935759X-Concrete Semantics: With Isabelle/HOL
9783319357591-331935759X-Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow
ISBN-13: 9783319357591
ISBN-10: 331935759X
Edition: Softcover reprint of the original 1st ed. 2014
Publication date: 2016
Publisher: Springer
Format: Paperback 311 pages
Sell Buy from $52.64
9783540580850-3540580859-Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
9783540580850-3540580859-Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)

by Henk Barendregt, Tobias Nipkow
ISBN-13: 9783540580850
ISBN-10: 3540580859
Edition: 1994
Publisher: Springer
Format: Paperback 404 pages
Sell Buy from $52.84
9780521455206-0521455200-Term Rewriting and All That
9780521455206-0521455200-Term Rewriting and All That

Term Rewriting and All That

by Franz Baader, Tobias Nipkow
ISBN-13: 9780521455206
ISBN-10: 0521455200
Publication date: 1998
Publisher: Cambridge University Press
Format: Hardcover 313 pages
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.