منطق در Botik '89: سمپوزیوم در مبانی منطقی علوم کامپیوتر Perslavl-Zalessky، اتحاد جماهیر شوروی، 3-8 ژوئیه، 1989 مجموعه مقالات
Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
نویسنده: Samson Abramsky (auth.), Albert R. Meyer, Michael A. Taitslin (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1989
تعداد صفحات: 292 [298]
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت