au.\*:("O'RORKE P")
Results 1 to 2 of 2
Selection :
Abduction and explanation-based learning: case studies in diverse domainsO'RORKE, P.Computational intelligence. 1994, Vol 10, Num 3, pp 295-330, issn 0824-7935Article
COMPARISON OF NATURAL DEDUCTION AND LOCKING RESOLUTION IMPLEMENTATIONSGREENBAUM S; NAGASAKA A; O'RORKE P et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 159-171; BIBL. 16 REF.Conference Paper