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