Theorem Proving with Analytic Tableaux and Related Methods

Name: Theorem Proving with Analytic Tableaux and Related Methods: Proceedings
Brand: Springer
SKU: 9783540612087
Price: 5608.00 INR
Availability: InStock

Proceedings

by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici

Springer · 1996 · Paperback

₹5,608

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Theorem Proving with Analytic Tableaux and Related Methods: Proceedings by Pierangelo Miglioli, Ugo Moscato & others is a 330-page paperback edition published by Springer in 1996. It belongs to the Lecture notes in artificial intelligence series.

Topics covered include Automatic theorem proving, Congresses, Nonclassical mathematical logic and Symbolic and mathematical Logic.