Applications of real number theorem proving in PVS
Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula MartinVolume:
25
Language:
english
DOI:
10.1007/s00165-012-0232-9
Date:
November, 2013
File:
PDF, 864 KB
english, 2013