Skip to main content
Elsevier
View Cart

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

World Book Day celebration

Where learning shapes lives

Up to 25% off trusted resources that support research, study, and discovery.

Explore resources

Description

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.

Product details

  • Edition: 1
  • Latest edition
  • Volume: 1
  • Published: June 22, 2001
  • Language: English

About the editors

AR

Alan J.A. Robinson

Affiliations and expertise
96 Highland Avenue, Greenfield, Massachusetts, USA

AV

Andrei Voronkov

Affiliations and expertise
University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.

View book on ScienceDirect

Read Handbook of Automated Reasoning on ScienceDirect