Picture 1 of 1

Principles of Automated Theorem Proving by David Duffy (1991, Hardcover)

ZUBER (264685)

97.8% positive feedback

Price:

US $100.23

(inclusive of GST)

ApproximatelyS$ 128.18

+ $37.29 shipping

Estimated delivery Tue, 1 Jul - Thu, 10 Jul

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Very Good

About this product

Product Identifiers

PublisherWiley & Sons, Incorporated, John

ISBN-100471927848

ISBN-139780471927846

eBay Product ID (ePID)2138526

Product Key Features

Number of Pages262 Pages

Publication NamePrinciples of Automated Theorem Proving

LanguageEnglish

SubjectSoftware Development & Engineering / General, Logic

Publication Year1991

TypeTextbook

AuthorDavid Duffy

Subject AreaMathematics, Computers

FormatHardcover

Dimensions

Item Height0.8 in

Item Weight18 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN00-000091

Dewey Edition20

IllustratedYes

Dewey Decimal511.3

SynopsisAn 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., 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.

LC Classification NumberQA76.9.A96D84 1991