Computer tools to teach formal reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat. Computer tools to teach formal reasoning. Computers & Education, 27(1):59-69, 1996. [doi]

This author has not been identified. Look up 'Pat Fung' in GoogleThis author has not been identified. Look up 'Tim O'Shea' in GoogleThis author has not been identified. Look up 'Doug Goldson' in GoogleThis author has not been identified. It may be one of the following persons:

Steve Reeves

Look up 'Steve Reeves' in GoogleThis author has not been identified. Look up 'Richard Bornat' in Google

runs on WebDSL