載入...
Logic in computer science Modelling and reasoning about systems /
| 主要作者: | |
|---|---|
| 其他作者: | |
| 語言: | Undetermined |
| 出版: |
Cambridge Univeristy Press ,
2004.
|
| 版: | 2nd ed. |
| 主題: |
University of Kerala
| 索引號: |
D651:(R1) P4 |
|---|---|
| 復印件 | Live Status Unavailable |