دانلود کتاب Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]
by Yevgeny Kazakov|
|
عنوان فارسی: رویه های تصمیم گیری مبتنی بر اشباع برای گسترش قطعه محافظت شده [پایان نامه دکتری] |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟