ロード中...
Logic in computer science Modelling and reasoning about systems /
第一著者: | |
---|---|
その他の著者: | |
言語: | Undetermined |
出版事項: |
Cambridge Univeristy Press ,
2004.
|
版: | 2nd ed. |
主題: |
University of Kerala
請求記号: |
D651:(R1) P4 |
---|---|
所蔵 | ステータス情報は利用できません |