|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Berlin : Logos Verlag, [2014]
|
|
|
1 online resource (164 pages)
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9783832591601 (e-book)
|
|
|
ISBN 9783832537654
|
|
|
Print version: Safarik, Pavol. On the extraction of computational content from noneffective convergence proofs in analysis. Berlin : Logos Verlag, c2014 164 pages ISBN 9783832537654
|
|
|
Includes bibliographical references
|
|
|
|
|
|
|
|
|
|
|
|
001885260
|
|
|
full
|
|
|
(Au-PeEL)EBL5850406
|
|
|
(MiAaPQ)EBC5850406
|
|
|
(OCoLC)1112423462
|
Dotazy a připomínky