Robert W. Hasker

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

François Bronsard, Uday S. Reddy, Robert W. Hasker
Induction Using Term Orders. J. Autom. Reason. 16 (1-2) (1996)
François Bronsard, Uday S. Reddy, Robert W. Hasker
Induction using Term Orderings. CADE (1994)