Symbolic Logic and Mechanical Theorem Proving

Name: Symbolic Logic and Mechanical Theorem Proving
Brand: Academic Press Inc
SKU: 9780121703509
Price: 4374.00 INR
Availability: InStock

by Richard Char-Tung Lee, Chin-Liang Chang

Academic Press Inc · 1973

₹4,374

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹3,980 for this book (save ₹394).

9% off every book, up to ₹500 off per order.

About this book

Symbolic Logic and Mechanical Theorem Proving is written by Richard Char-Tung Lee & Chin-Liang Chang. This edition is published by Academic Press Inc (1973). It belongs to the Computer science and applied mathematics series.

Its main subjects are Symbolic and mathematical Logic, Artificial intelligence, Automatic theorem proving and Logique symbolique et mathématique.