12
0
0
0
0
Natural deduction, hybrid systems and modal logics [electronic resource]
- 作者： Indrzejczak, Andrzej.
- 其他作者：
- 出版： Dordrecht : Springer Science+Business Media B.V.
- 叢書名： Trends in Logic ;v.30
- 主題： Logic , Modality (Logic) , Philosophy , Logic , Mathematical Logic and Foundations. , Mathematical Logic and Formal Languages. , Algorithms , Artificial Intelligence (incl. Robotics)
- ISBN： 9789048187850 (electronic bk.) 、 9789048187843 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005063449 | 機讀編目格式
館藏資訊
