Scientific computation with automatic result verification

Saved in:
Bibliographic Details
Other Authors: Kulisch, Ulrich, Stetter, Hans J. 1930-
Format: Unknown
Published: New York Springer-Verlag 1988
Series:Computing. Supplementum 6
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!