An overview of ATP techniques for the non-specialist, it discusses all the main approaches to proof: resolution, natural deduction, sequentzen, and the connection calculi. Also discusses strategies for their application and three major implemented systems. Looks in detail at the new field of ``inductionless induction'' and brings out its relationship to the classical approach to proof by induction.
"synopsis" may belong to another edition of this title.
Book Description Wiley. Hardcover. Book Condition: New. 0471927848 New Condition. Bookseller Inventory # NEW7.1949799
Book Description Wiley, 1991. Hardcover. Book Condition: New. Never used!. Bookseller Inventory # P110471927848
Book Description Wiley, 1991. Hardcover. Book Condition: New. book. Bookseller Inventory # M0471927848