
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
₹5,499

27th International Symposium, Mfcs 2002, Warsaw, Poland, August 26-30, 2002. Proceedings
by Krzystof Diks, Wojciech Rytter
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002. The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions.
Description supplied by the publisher.