خرید و دانلود نسخه کامل کتاب COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings

COLOG-88: کنفرانس بین المللی منطق کامپیوتری تالین، اتحاد جماهیر شوروی، 12 تا 16 دسامبر 1988 مجموعه مقالات

COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings

نویسنده: Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1990

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

زبان: English

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

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