MPG.eBooks - Description: Handbook of automated reasoning, Volume II

Read Now

Bibliographic Details
Main Author:	Robinson, J. A.
Other Authors:	Voronkov, Andrei
Format:	eBook
Language:	English
Published:	Amsterdam Elsevier 2001
Subjects:	Automatic Theorem Proving / Fast Automatic Theorem Proving / Handbooks, Manuals, Etc Qualitative Reasoning / Fast Qualitative Reasoning / Handbooks, Manuals, Etc Théorèmes / Démonstration Automatique / Guides, Manuels, Etc Raisonnement Qualitatif / Guides, Manuels, Etc
Online Access:	https://learning.oreilly.com/library/view/~/978044...
Collection:	O'Reilly - Collection details see MPG.ReNa

Description
Physical Description:	xxv, 963-2122 pages illustrations
ISBN:	0444508139 0080532799 9780080532790