Handbook of Automated Reasoning
- 1st Edition, Volume 1 - June 22, 2001
- Latest edition
- Editors: Alan J.A. Robinson, Andrei Voronkov
- Language: English
Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical… Read more
Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence.
- Edition: 1
- Latest edition
- Volume: 1
- Published: June 22, 2001
- Language: English
AR
Alan J.A. Robinson
Affiliations and expertise
96 Highland Avenue, Greenfield, Massachusetts, USAAV
Andrei Voronkov
Affiliations and expertise
University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.Read Handbook of Automated Reasoning on ScienceDirect