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