tves

مبانی منطقی علوم کامپیوتر — Tver ’92: دومین سمپوزیوم بین المللی Tver، روسیه، 20-24 ژوئیه، 1992 مجموعه مقالات

دانلود کتاب Logical Foundations of Computer Science — Tver ’92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر — Tver ’92: دومین سمپوزیوم بین المللی Tver، روسیه، 20-24 ژوئیه، 1992 مجموعه مقالات) نوشته شده توسط «Dimitry A. Archangelsky – Mikhail A. Taitslin (auth.) – Anil Nerode – Mikhail Taitslin (eds.)» اطلاعات کتاب مبانی منطقی علوم کامپیوتر — Tver ’92: دومین سمپوزیوم بین المللی Tver، روسیه، 20-24 ژوئیه، 1992 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Dimitry A. Archangelsky – Mikhail A. Taitslin (auth.) – Anil Nerode –…