On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
Preselect NRW
|
title_id |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
Preselect AllIn
|
title_id |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
logos Mathematik
|
title_id |
On the extraction of computational content from noneffective convergence proofs in analysis
(Current)
|
Logos_Verlag_AllTitles
|
title_id |