Anzahl der Publikationen: 1
Buchbeitrag
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (Hrsg.):
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Bd. 6. Berlin: Walter De Gruyter. S. 69-110
Diese Liste wurde am
Sun Aug 11 02:02:03 2024 CEST
erstellt.