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