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
34 Products
34 Products Page
of 2
Handbook of Automated Reasoning
Handbook of Automated Reasoning
J.Alan Robinson
Hardback
 
£44.00
This product is currently unavailable
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz
Paperback
 
£44.99
Usually dispatched within 3 weeks
Rewriting Techniques and Applications
Rewriting Techniques and Applications
Andrei Voronkov
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Franz Baader
Paperback
 
£89.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
Harald Ganzinger
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Robert Nieuwenhuis
Paperback
 
£89.99
Usually dispatched within 3 weeks
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
Andrei Voronkov
Paperback
 
£44.99
Usually dispatched within 3 weeks
Programming Logics
Programming Logics
Andrei Voronkov
Paperback
 
£44.99
Usually dispatched within 3 weeks
Handbook of Automated Reasoning: v. 2
Handbook of Automated Reasoning: v. 2
J.Alan Robinson
Hardback
 
£7.99
This product is currently unavailable
Automated Deduction - CADE-18
Automated Deduction - CADE-18
Andrei Voronkov
Paperback
 
£44.99
Usually dispatched within 3 weeks
Handbook of Automated Reasoning Volume II
Handbook of Automated Reasoning Volume II
Alan J.A. Robinson
Hardback
 
£195
Usually dispatched within 3 weeks
Handbook of Automated Reasoning: Volume 1
Handbook of Automated Reasoning: Volume 1
Alan J. A. Robinson
Hardback
 
£325
This product is currently unavailable
Computer Science - Theory and Applications
Computer Science - Theory and Applications
Volker Diekert
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato
Paperback
 
£89.99
Usually dispatched within 3 weeks
Transactions and Change in Logic Databases
Transactions and Change in Logic Databases
Burkhard Freitag
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner
Paperback
 
£44.99
Usually dispatched within 3 weeks
Perspectives of Systems Informatics
Perspectives of Systems Informatics
Andrei Voronkov
Paperback
 
£44.99
Usually dispatched within 3 weeks
Perspectives of Systems Informatics
Perspectives of Systems Informatics
Amir Pnueli
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming and Automated Reasoning
Logic for Programming and Automated Reasoning
Michel Parigot
Paperback
 
£44.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Geoff Sutcliffe
Paperback
 
£89.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Miki Hermann
Paperback
 
£89.99
Usually dispatched within 3 weeks
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Christian G. Fermüller
Paperback
 
£89.99
This product is currently unavailable