Meltzer, Bernard, 1916-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Artificial intelligence and heuristic programming, 1971: t.p. (Bernard Meltzer) jkt. (Metamathematics Unit, Univ. of Edinburgh) WW Brit. sci., 1971/72 (Meltzer, Bernard; b. 9/7/16) |
から見よ参照 | Meltzer, Bernard |
コード類 | 典拠ID=AU20012741 NCID=DA0109222X |
1 | On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite : pbk. - New York : Dover Publications , 1992 |
2 | Machine intelligence / edited by N.L. Collins & Donald Michie v. 1 - v. 10. - Edinburgh ; London : Oliver & Boyd , c1967- |