On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis
(Current)
|
ProQuest_Ebook Central DDA
|
isbn |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
Preselect NRW
|
isbn |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
Preselect AllIn
|
isbn |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
logos Mathematik
|
isbn |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
Logos_Verlag_AllTitles
|
isbn |