Automated Discovery of New Axiomatizations of the Left Group and Right Group Calcouli

Authors
W.W.McCune
Citation
W.w.mccune, Automated Discovery of New Axiomatizations of the Left Group and Right Group Calcouli, Journal of automated reasoning , 9(1), 1992, pp. 1-24
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
9
Issue
1
Year of publication
1992
Pages
1 - 24
Database
ACNP
SICI code