5th Conference on Automated Deduction

Name: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980: 87
Brand: Springer Verlag
SKU: 9783540100096
Price: 4346.00 INR
Availability: InStock

Les Arcs, France, July 8-11, 1980: 87

by W. Bibel

Springer Verlag · 1980 · Paperback

₹4,346

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

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980: 87 is written by W. Bibel. This paperback edition from Springer Verlag (1980) has 392 pages.

Topics covered include Logic, Bibel, Künstliche Intelligenz and Mathematics.