TY  - GEN
AU  - Wasaki,Katsumi
TI  - A Verification for Redundant Signed Digit Adder Circuits
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - Automatyczne dowodzenie twierdzeń
KW  - Modele matematyczne
N1  - Tytuł. nagł; Bibliogr. s. 229-230
ER  -