ISBN 3540926860 books & textbook

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings (Lecture Notes in Computer Science, 5407)

Artemov, Sergei Nerode, Anil

Springer /2008-12-18 Paperback / 480 Pages
isbn-10: 3540926860 / isbn-13: 9783540926863