|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag
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