Search
|
About
|
Preferences
|
Feedback
|
Help
Find any book at the best price.
Search Author, Title or ISBN
Go
Tobias Nipkow
(Nipkow, Tobias)
used books, rare books and new books
›
Find all books by 'Tobias Nipkow' and compare prices
›
Find signed collectible books by 'Tobias Nipkow'
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
by Tobias Nipkow
ISBN 9783540433767 (978-3-540-43376-7)
Softcover, Springer, 2002
Find This Book
›
Find signed collectible books: 'Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)'
Term Rewriting and All That
by Franz Baader, Tobias Nipkow
ISBN 9780521779203 (978-0-521-77920-3)
Softcover, Cambridge University Press, 1999
Find This Book
›
Find signed collectible books: 'Term Rewriting and All That'
More editions of Term Rewriting and All That:
Term Rewriting and All That: ISBN 9780521455206 (978-0-521-45520-6)
Hardcover, Cambridge University Press, 1998
Term Rewriting and All That: ISBN 9780521779203 (978-0-521-77920-3)
Softcover, Cambridge University Press, 1999
Term Rewriting and All That
by Franz Baader, Tobias Nipkow
ISBN 9781139172752 (978-1-139-17275-2)
Cambridge University Press
Find This Book
›
Find signed collectible books: 'Term Rewriting and All That'