Title: On the extraction of computational content from noneffective convergence proofs in analysis
- Title
- On the extraction of computational content from noneffective convergence proofs in analysis
- Package
- logos Mathematik
- Platform
- Content Select
- Status
- Current
- Publication Type
- Monograph
- Medium
- Book
- Language
-
English
- First Author
- Pavol Safarik
- First Editor
- Empty
- Publisher Name
- Logos Verlag
- Date First in Print
- 2014-08-28
- Date First Online
- 2014-08-28
- Access Start Date
- 2018-02-27
- Access End Date
- Empty
- Volume Number
- Empty
- Edition Statement
- Empty
- Access Type
- Paid
- Note
- Empty
- Last Changed External
- 2022-01-11
- Date Created
- 2021-06-03 20:08:30
- Last Updated
- 2022-12-17 20:24:27
- UUID
- a055d5b8-067c-4dd7-9b09-b1a47012d234
- Subject Area
- Naturwissenschaft/Technik
Dewey Decimal Classification |
---|
- Series
- Empty
- Parent publication title ID
- Empty
- Superseding publication title ID
- Empty
- Preceding publication title ID
- Empty
- Open Access
- Empty
Price Type | Value | Currency |
---|---|---|
list | 128.35 | EUR |