Logic for Gray-code Computation.
Logic for Gray-code Computation.
| Title | Logic for Gray-code Computation. |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Berger U, Miyamoto K, Schwichtenberg H, Hideki T |
| Book Title | Concepts of Proof in Mathematics, Philosophy, and Computer Science |
| Pagination | 69–110 |
| Publisher | De Gruyter |
| URL | http://dx.doi.org/10.1515/9781501502620-005 |
| DOI | 10.1515/9781501502620-005 |
Undefined