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.
- ISBN10 0471927848
- ISBN13 9780471927846
- Publish Date 29 May 1991
- Publish Status Out of Print
- Out of Print 18 February 2022
- Publish Country GB
- Publisher John Wiley and Sons Ltd
- Imprint John Wiley & Sons Ltd
- Format Hardcover
- Pages 262
- Language English