Tetsuro Yamamoto

T. Yamamoto

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Symbolic Algebraic Methods and Verification Methods978-3-211-83593-7
(3-211-83593-8)
2001Götz Alefeld · Jiri Rohn · Siegfried Rump

Tetsuya Yao