TY - BOOK AU - Alefeld,Götz TI - Symbolic algebraic methods and verification methods T2 - SpringerMathematics SN - 3211835938 PY - 2001/// CY - Wien, New York PB - Springer KW - Arytmetyka wewnętrzna komputerów KW - kaba N1 - Bibliogr. przy rozdz ER -