Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
9 Products
9 Products Page
of 1
Term Rewriting and All That
Term Rewriting and All That
Tobias Nipkow
Paperback
£56.00
Usually dispatched within 21 days
Concrete Semantics
Concrete Semantics : With Isabelle/HOL
Tobias Nipkow
Paperback
£49.99
Print on demand - Usually dispatched within 7-10 days
Concrete Semantics
Concrete Semantics : With Isabelle/HOL
Tobias Nipkow
Hardback
£70.50
Print on demand - Usually dispatched within 7-10 days
Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting
Jan Heering
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Automated Reasoning
Automated Reasoning
IJCAR
Paperback
£89.99
Print on demand - Usually dispatched within 7-10 days
Functional Data Structures and Algorithms
Functional Data Structures and Algorithms
Tobias Nipkow
Paperback
£44.00
Usually dispatched within 48 hours
Rewriting Techniques and Applications
Rewriting Techniques and Applications
RTA-98
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics Theoretical Computer Science and General Issues
Stefan Berghofer
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Functional Data Structures and Algorithms
Functional Data Structures and Algorithms
Tobias Nipkow
Hardback
£60.00
Usually dispatched within 48 hours