語系
Otto, Martin (1961-)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Bounded variable logics and counting : a study in finite mode
by:
Otto, Martin (1961-)
(書目-語言資料,印刷品)