دانلود کتاب Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
by Brown, Chad E|
|
عنوان فارسی: خودکار استدلال در مرتبه بالاتر منطق: مجموعه درک و extensionality در کلیسا نوع نظریه |


دانلود کتاب

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