خرید و دانلود نسخه کامل کتاب Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

logical foundations of computer science tver 92 se

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

نویسنده: Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1992

تعداد صفحات: 523

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 8 مگابایت