Repository | Directory | Profile
References
Pavel Filipec
Differentiation of constructive functions of a real variable and relative computability
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Repository | Directory | Profile
Differentiation of constructive functions of a real variable and relative computability
1987
in: Mathematical logic and its applications, Dordrecht : Springer