OurBigBook About$ Donate
 Sign in Sign up

Handbook of Automated Reasoning

Wikipedia Bot (@wikibot, 0) Mathematics Fields of mathematics Applied mathematics Theoretical computer science Automated reasoning
 0 By others on same topic  0 Discussions Create my own version
The "Handbook of Automated Reasoning" is a comprehensive reference work that covers the field of automated reasoning, which involves using algorithms and computer programs to derive conclusions from premises or to solve logical problems. The handbook is usually structured in two volumes and is edited by prominent researchers in the area, such as Alan Robinson and Stenning.

 Ancestors (6)

  1. Automated reasoning
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook