Picture 1 of 2

Stock photo

Texts and Monographs in Computer Science: First-Order Logic and Automated Theorem Proving by Melvin Fitting (1990, Hardcover)

Nick's Knacks and Books (41703)

99.9% positive feedback

Price:

US $99.99

ApproximatelyPHP 5,585.54

+ $34.92 shipping

Estimated delivery Tue, 17 Jun - Tue, 8 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:

Acceptable

PublisherSpringer

ISBN-100387972331

ISBN-139780387972336

eBay Product ID (ePID)915044

Number of Pages242 Pages

Publication NameFirst-Order Logic and Automated Theorem Proving

LanguageEnglish

Publication Year1990

SubjectIntelligence (Ai) & Semantics, Logic

TypeTextbook

Subject AreaMathematics, Computers

AuthorMelvin Fitting

SeriesTexts and Monographs in Computer Science

FormatHardcover

Intended AudienceCollege Audience

LCCN89-026321

Dewey Edition20

IllustratedYes

Dewey Decimal511.3

LC Classification NumberQA76.9.A96F68 1990