Search w/in this Reviewer for Reviewers All Reviews
	Chester, Daniel University of Delaware Newark, Delaware      Highlighted       Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 review        Handbook of automated reasoning: volume 1 Robinson J., Voronkov A. (ed), MIT Press, Cambridge, MA, 2001. 981 pp.  Type: Book (9780262182218) This is the first volume of a two-volume set. Each volume consists of 14 chapters written by distinguished authors in the automated reasoning field. Volume 1 covers first-order logic, the treatment of equality, and induction. Volume 2 ... Apr 10 2003
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy