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