Scientific Computation with Automatic Result Verification
Scientific Computation with Automatic Result Verification
Ulrich Kulisch
Details
OL Work ID
OL19901071W
Find this book
Open Library