Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
Andrei Voronkov
Home
Authors & Editors
Andrei Voronkov
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
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