Theorem Proving with the Real Numbers
Автор:
John Harrison
Наличност:
50% вероятност
Ще претърсим света
111.77
€
218.60 лв
This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers onl...
