Revitalized Automatic Proofs: Demonstrations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tewodros Amdeberhan, David Callan, Hideyuki Ohtsuka, Roberto Tauraso. Revitalized Automatic Proofs: Demonstrations. Integers, 17, 2017. [doi]

This author has not been identified. Look up 'Tewodros Amdeberhan' in GoogleThis author has not been identified. Look up 'David Callan' in GoogleThis author has not been identified. Look up 'Hideyuki Ohtsuka' in GoogleThis author has not been identified. Look up 'Roberto Tauraso' in Google

runs on WebDSL