Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
Alan J.A. Robinson
Home
Authors & Editors
Alan J.A. Robinson
Results
(1–1 out of 1)
Sort by:
Title, ascending
Title, descending
Publication date, ascending
Publication date, descending
Newest added, ascending
Newest added, descending
Book
Handbook of Automated Reasoning
Alan J.A. Robinson
Andrei Voronkov
(2001)
Info
1
We use cookies to ensure that you get the best experience on our website.
Learn more about how we use cookies.
Accept all cookies
Reject non-essential cookies
