About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
Previous
|
Up
|
Next
DML-CZ Home
Commentationes Mathematicae Universitatis Carolinae
Volume 49
Author: Colton, Simon
Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas
:
Classification results in quasigroup and loop theory via a combination of automated reasoning tools
.
(English).
Commentationes Mathematicae Universitatis Carolinae
,
vol. 49 (2008), issue 2
,
pp. 319-339
Search
Search
This Community
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of