Skip to main content

Picture 1 of 3

Stock photo
Stock photo
Texts and Monographs in Computer Science: First-Order Logic and Automated... - Picture 1 of 3
Texts and Monographs in Computer Science: First-Order Logic and Automated... - Picture 2 of 3
Texts and Monographs in Computer Science: First-Order Logic and Automated... - Picture 3 of 3

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

MrBearsbookstore (7374)
99.8% positive feedback
Price:
US $85.02
(inclusive of GST)
ApproximatelyS$ 111.78
+ $31.00 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:
Very Good

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