Logo Logo

Publications by Tsuiki, Hideki

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: Book Section
Number of items: 1.

Book Section

Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki (2016): Logic for Gray-code Computation. In: Probst, Dieter (ed.) : Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Vol. 6. Berlin: Walter De Gruyter. pp. 69-110

This list was generated on Tue Jul 7 01:23:00 2020 CEST.