This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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, 1991. Hardcover. Condition: New. Never used!. Seller Inventory # P110471927848
Book Description Wiley, 1991. Condition: New. book. Seller Inventory # M0471927848