Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Sergei Artemov · Anil Nerode
јун 2007. · Springer
E-knjiga
516
Stranica
Бесплатан одломак
O ovoj e-knjizi
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Možete da slušate audio-knjige kupljene na Google Play-u pomoću veb-pregledača na računaru.
E-čitači i drugi uređaji
Da biste čitali na uređajima koje koriste e-mastilo, kao što su Kobo e-čitači, treba da preuzmete fajl i prenesete ga na uređaj. Pratite detaljna uputstva iz centra za pomoć da biste preneli fajlove u podržane e-čitače.