Normal view
MARC view
Wrightson, Graham (Personal Name)
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)