Automated Theorem Proving in Quasigroup and Loop Theory

Author(s)

J D. Phillips, Northern Michigan UniversityFollow
D Stanovsky

Journal Title/Source

AI Communications

Publication Date

2010

Volume

23

Issue (if applicable)

2-3

Page Numbers

267-283

Document Type

Journal Article

Department

Mathematics and Computer Science

Recommended Citation

Phillips, J D. and Stanovsky, D, "Automated Theorem Proving in Quasigroup and Loop Theory" (2010). Journal Articles. 7.
https://commons.nmu.edu/facwork_journalarticles/7