— 刘奋荣著
索书号：B81/196
标准编码： 978-7-302-63854-4
出版信息：北京 清华大学出版社 2023
中文图书
收藏
索书号：TP302.2/51
标准编码： 978-7-03-028960-5
出版信息：北京 科学出版社 2010.10
主题词： 动态逻辑 动态逻辑
1 共有：2条记录
