Handbook of Automated Reasoning (Volume 1) - Hardcover

Hardcover

ISBN 10: 0444508139 ISBN 13: 9780444508133

Publisher: North Holland, 2001

Synopsis

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.

About this title

About the Author

J. Alan Robinson is University Professor Emeritus at Syracuse University. Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.

Edition details

• Publisher: North Holland
• Publication date: 2001
• Language: English
• ISBN 10: 0444508139
• ISBN 13: 9780444508133
• Binding: Hardcover
• Number of pages: 2128
• Editor: Robinson Alan J.A., Voronkov Andrei