AAAAAA

   
Results: 1-2 |
Results: 2
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
Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations
Authors: W.W.McCune
Citation: W.w.mccune, Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations, Journal of automated reasoning , 10(1), 1993, pp. 1-14
Risultati: 1-2 |