Skip to main content

Picture 1 of 2

Stock photo
Stock photo
First-Order Logic and Automated Theorem Proving Melvin Fitting hc - Picture 1 of 2
First-Order Logic and Automated Theorem Proving Melvin Fitting hc - Picture 2 of 2

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

Nick's Knacks and Books (41678)
99.8% positive feedback
Price:
US $108.99
(inclusive of GST)
ApproximatelyS$ 143.30
+ $30.74 shipping
Estimated delivery Fri, 16 May - Tue, 27 May
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

About this product

Product Identifiers

PublisherSpringer
ISBN-100387972331
ISBN-139780387972336
eBay Product ID (ePID)915044

Product Key Features

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

Additional Product Features

Intended AudienceCollege Audience
LCCN89-026321
Dewey Edition20
IllustratedYes
Dewey Decimal511.3
LC Classification NumberQA76.9.A96F68 1990

All listings for this product

Buy It Now
Pre-owned
Texts and Monographs in Computer Science: First-Order Logic and Automated...
item 1 Texts and Monographs in Computer Science: First-Order Logic and Automated...
S$ 111.78
+S$ 40.76 postage
First-Order Logic and Automated Theorem Proving Melvin Fitting hc
item 2 First-Order Logic and Automated Theorem Proving Melvin Fitting hc
S$ 143.30
+S$ 40.41 postage
No ratings or reviews yet
Be the first to write a review

You may also like