图书馆

— 王震宇著

索书号：S853.74/1013/2021

出版信息：成都  四川农业大学  2021

学位论文库

收藏

— 王震宇，卢东栋著

索书号：B815.1/1013/2005

标准编码： 7-111-15689-7

出版信息：北京  机械工业出版社  2005

主题词： 模态逻辑   形式逻辑   模态逻辑   形式逻辑  

中文图书

收藏

— 王震宇，张洪忠主编

索书号：J214/1013(2)/2020

标准编码： 978-7-5682-7455-5

出版信息：北京  北京理工大学出版社有限责任公司  2020

中文图书

收藏