Afișare rezultate |    SM ISO690:2012 |
Afisarea articolelor 1-3(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-926 |
| 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-804 |
| 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-979 |
    |
1-3 of 3
