Afișare rezultate |
Afisarea articolelor -19-0(3) pentru cuvîntul-cheie "automated reasoning"
A still shorter axiom for trimedial quasigroups |
Fiala NickC. |
Quasigroups and Related Systems |
Nr. 2(30) / 2013 / ISSN 1561-2848 |
Disponibil online 31 October, 2014. Descarcări-3. Vizualizări-943 |
Shortest single axioms with neutral element for groups of exponent 2 and 3 |
Fiala NickC., Agre Keith |
Quasigroups and Related Systems |
Nr. 1(29) / 2013 / ISSN 1561-2848 |
Disponibil online 30 October, 2014. Descarcări-6. Vizualizări-813 |
Short identities implying a quasigroup is a loop or group |
Fiala NickC. |
Quasigroups and Related Systems |
Nr. 2(18) / 2007 / ISSN 1561-2848 |
Disponibil online 15 December, 2013. Descarcări-3. Vizualizări-1003 |
-19-0 of 3