語系
Huth,, Michael.1962-
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic in computer science :modelling and reasoning about systems /
by:
Huth,, Michael.1962- ; Ryan,, Mark.1962-
(書目-語言資料,印刷品)