Lewis, Harry R.
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Unsolvable classes of quantificational formulas, c1979: t.p. (Harry R. Lewis; Aiken Computation Lab., Harvard) |
| から見よ参照 | Lewis, Harry |
| コード類 | 典拠ID=A000155949 NCID=DA0259615X |
| 1 | 教養としてのデジタル講義 : 今こそ知っておくべき「デジタル社会」の基礎知識 / ハル・アベルソン [ほか] 著 ; 尼丁千津子訳 [東京] : 日経BP. - 東京 : 日経BPマーケティング (発売) , 2021.11 |
| 2 | Essential discrete mathematics for computer science / Harry Lewis and Rachel Zax Princeton : Princeton University Press , c2019 |