Handbook of Automated Reasoning
id:
handbook-of-automated-reasoning-265-12714226
title:
Handbook of Automated Reasoning
text:
The Handbook of Automated Reasoning is a collection of survey articles on the field of automated reasoning. Published in June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction. Volume 2 covers higher-order, non-classical and other kinds of logic.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasoning
date created:
date modified:
2022-07-02T22:07:07Z
main entity:
{"identifier":"Q5647318","url":"https://www.wikidata.org/entity/Q5647318"}
image:
fields total:
13
integrity:
13