当前位置:在线查询网 > 图书大全 > Logics of Time and Computation

Logics of Time and Computation_图书大全


请输入要查询的图书:

可以输入图书全称,关键词或ISBN号

Logics of Time and Computation

ISBN: 9780937073940

作者: Robert Goldblatt

出版社: Univ of Chicago Pr

出版年: 1992-6

页数: 190

定价: $ 33.90

装帧: Pap

内容简介


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