Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
Subjects (Books)
Medicine & Nursing
BOOK
I thought you would find this interesting: Handbook of Automated Reasoning Alan J.A. Robinson ; Andrei Voronkov (2001) https://123library.org/doi:
Handbook of Automated Reasoning
Alan J.A. Robinson
|
Andrei Voronkov
(2001)
Login to order (PDF)
Additional Information
Book Details
ISBN
978-0-08-053279-0
Edition
Language
English
Pages
2128
Subjects
Information theory
Medicine & Nursing
Mathematical foundations
Artificial intelligence
Abstract
Handbook of Automated Reasoning
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
