Logics of Time and Computation 在线电子书 图书标签:
发表于2024-12-23
Logics of Time and Computation 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
评分
评分
评分
评分
Logics of Time and Computation 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024