<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-02-28 12:57:47Computational group theory Donald Knuth KnuthBendix completion algorithm Bidirectional associative memory |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-02-28 12:57:47Computational group theory Donald Knuth KnuthBendix completion algorithm Bidirectional associative memory |
Add to Reading List |
A non-desarguesian projective plane K.Tent and B.Zilber October 2, 2012 1