yaroslavl

مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS’97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات

دانلود کتاب Logical Foundations of Computer Science: 4th International Symposium, LFCS’97 Yaroslavl, Russia, July 6–12, 1997 Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS’97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات) نوشته شده توسط «Sergei Artemov – Jennifer Davoren – Anil Nerode (auth.) – Sergei Adian – Anil Nerode (eds.)» اطلاعات کتاب مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS’97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Sergei Artemov – Jennifer Davoren – Anil Nerode (auth.) – Sergei Adian –…