Publication

Found 1 results
Filters: Author is Tsuiki Hideki  [Clear All Filters]
2016
Berger U, Miyamoto K, Schwichtenberg H, Hideki T.  2016.  Logic for Gray-code Computation.. Concepts of Proof in Mathematics, Philosophy, and Computer Science. :69–110.