Wrightson, Graham
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
一般注記 | Automation of reasoning, 1983 (a.e.) t.p. (Graham Wrightson) t.p. verso (Victoria Univ., Dept. of Infor. Science, Wellington) Parallelization in inference systems, c1992: CIP t.p. (G. Wrightson) data sheet, etc. (b. 08-09-41; Univ. Newcastle, Dept. of Comp. Sci., Newcastle, Australia) |
別名 | Wrightson, G. (Graham) |
コード類 | 典拠ID=AU00239473 NCID=DA06369400 |
1 | Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / B. Fronhöfer, G. Wrightson, eds : gw,: us. - Berlin ; New York : Springer-Verlag , c1992 |