خرید و دانلود نسخه کامل کتاب Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

منطق زمانی: اولین کنفرانس بین المللی، ICTL'94 بن، آلمان، 11 تا 14 ژوئیه، 1994 مجموعه مقالات

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

نویسنده: Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1994

تعداد صفحات: 551 [558]

زبان: English

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

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