Logics of Time and Computation 在線電子書 圖書標籤:
發表於2024-12-24
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