Anderson, Robert Brockett, 1941-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His Proving programs correct, c1978: t.p. (Robert B. Anderson) Tel. call to pub., 4/20/78: (Robert Brockett Anderson; b. 12/15/41) |
生没年等 | 1941- |
から見よ参照 | アンダスン, ロバート B. |
コード類 | 典拠ID=AU00040620 NCID=DA02024611 |
1 | 演習プログラムの証明 / ロバート・B.アンダスン著 ; 有沢誠訳 東京 : 近代科学社 , 1980.11 |