Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Brand: Springer
SKU: 9783540581406
Price: 5580.00 INR
Availability: InStock

Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

by Anil Nerode, Yu V. Matiyasevich

Springer

₹5,580

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
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.

From the publisher

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.

Description supplied by the publisher.