大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Natural Deduction, Hybrid Systems and Modal Logics [electronic resource]
| 名称 | Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] | |
| 索引号 | ||
| 分类号 | (| 08 环境公报) |
|
| 作者 | Indrzejczak、 Andrzej.、SpringerLink (Online service)、 | |
| 出版社 | Dordrecht : Springer Netherlands, 2010. | |
| ISBN | ||
| 页数 | XXIII, 514p. digital. | |
| 价格 | doi | |
| 标签 | ||
| 简介 | ||
| 注解 | ||
粤公网安备 44030602003680号