Modal Logic (Cambridge Tracts in Theoretical Computer Science) pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
图书标签:
喜欢 Modal Logic (Cambridge Tracts in Theoretical Computer Science) 的读者还喜欢
点击这里下载
发表于2024-04-29
Modal Logic (Cambridge Tracts in Theoretical Computer Science) epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Modal Logic (Cambridge Tracts in Theoretical Computer Science) epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Modal Logic (Cambridge Tracts in Theoretical Computer Science) pdf epub mobi txt 电子书 下载 2024
图书描述
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.
著者简介
图书目录
Modal Logic (Cambridge Tracts in Theoretical Computer Science) pdf epub mobi txt 电子书 下载
用户评价
读后感
评分
评分
评分
评分
Modal Logic (Cambridge Tracts in Theoretical Computer Science) pdf epub mobi txt 电子书 下载 2024
分享链接
Modal Logic (Cambridge Tracts in Theoretical Computer Science) pdf 电子书 下载链接
相关图书
-
Eric Fischl pdf epub mobi txt 电子书 下载 -
From the Ashes of Angels pdf epub mobi txt 电子书 下载
-
Wild Girls pdf epub mobi txt 电子书 下载
-
Digital Photography Pocket Guide, Third Edition (Pocket Reference (O'Reilly)) pdf epub mobi txt 电子书 下载
-
Amazing Classical Themes pdf epub mobi txt 电子书 下载
-
Spider-Man pdf epub mobi txt 电子书 下载
-
まっすぐ―池脇千鶴写真集 pdf epub mobi txt 电子书 下载
-
语义网 2006/The semantic web - ASWC 2006 pdf epub mobi txt 电子书 下载
-
A Pain In The Neck pdf epub mobi txt 电子书 下载
-
The Fourth Dimension Simply Explained (Dover Science Books) pdf epub mobi txt 电子书 下载
-
The Power of Focus for College Students pdf epub mobi txt 电子书 下载
-
Living Your Best Life pdf epub mobi txt 电子书 下载
-
The New Girl pdf epub mobi txt 电子书 下载
-
Edward Elgar pdf epub mobi txt 电子书 下载
-
白桦小说选 pdf epub mobi txt 电子书 下载
-
现代防雷技术 pdf epub mobi txt 电子书 下载
-
Adobe After Effects 6.5 Studio Techniques pdf epub mobi txt 电子书 下载
-
基于WebGIS的降雨产流测报与实时水资源评价 pdf epub mobi txt 电子书 下载
-
Cry With Me pdf epub mobi txt 电子书 下载
-
The Art Of P. Craig Russell pdf epub mobi txt 电子书 下载
