Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
8 Products
8 Products Page
of 1
Generative Programming and Component Engineering
Generative Programming and Component Engineering
Frank Pfenning
Paperback
 
£44.99
Usually dispatched within 3 weeks
Types in Logic Programming
Types in Logic Programming
Frank Pfenning
Paperback
 
£26.00
This product is currently unavailable
Term Rewriting and Applications
Term Rewriting and Applications
Frank Pfenning
Paperback
 
£44.99
Usually dispatched within 3 weeks
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
Frank Pfenning
Paperback
 
£44.99
Usually dispatched within 3 weeks
Automated Deduction - CADE-21
Automated Deduction - CADE-21
Frank Pfenning
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
Frank Pfenning
Paperback
 
£44.99
Usually dispatched within 3 weeks
Types in Logic Programming
Types in Logic Programming
Frank Pfenning
Hardback
 
£42.95
This product is currently unavailable
Computation and Deduction
Computation and Deduction
Frank Pfenning
Hardback
 
£35.00
This product is currently unavailable