استدلال تئوری در محاسبات اتصال
Theory Reasoning in Connection Calculi
نویسنده: Peter Baumgartner (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1998
تعداد صفحات: 289
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت