Logic for Gray-code Computation.

Logic for Gray-code Computation.

TitleLogic for Gray-code Computation.
Publication TypeBook Chapter
Year of Publication2016
AuthorsBerger U, Miyamoto K, Schwichtenberg H, Hideki T
Book TitleConcepts of Proof in Mathematics, Philosophy, and Computer Science
Pagination69–110
PublisherDe Gruyter
URLhttp://dx.doi.org/10.1515/9781501502620-005
DOI10.1515/9781501502620-005
Undefined