Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: abduction
PP718
1994 Paper in Conference Proceedings
Monroy-Borja,R
;
Bundy,A
;
Ireland,A
Proof Plans for the Correction of False Conjectures
JP151
1992 Journal Paper
Logan,B
Understanding Problem Structure as Heuristic Formation in Design