Wasaki, Katsumi. <br/><br/>
A Verification for Redundant Signed Digit Adder Circuits / 
Katsumi Wasaki. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 229-230. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--oprogramowanie.<br/>Automatyczne dowodzenie twierdzeń.<br/>Modele matematyczne.