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
ProQuest_Ebook Central DDA
Platform
Ebook Central
URL
https://ebookcentral.proquest.com/lib/ebooksnrw/detail.action?docID=5850406 
Status
Current
Publication Type
Monograph
Medium
Book
Language
English
First Author
Safarik, Pavol
First Editor
Empty
Publisher Name
Logos Verlag Berlin
Date First in Print
2014-08-28
Date First Online
2014-08-28
Access Start Date
Empty
Access End Date
Empty
Volume Number
Empty
Edition Statement
1
Access Type
Paid
Note
Empty
Last Changed External
2023-10-21

Curated By

Date Created
2023-04-28 14:19:09
Last Updated
2023-11-16 15:22:47
UUID
72cd7092-160b-4614-8022-4fdc11dd4ed9
Identifier Namespace Name Identifier Namespace Value Identifier
eISBN eisbn 9783832591601
ISBN isbn 9783832537654
Title_ID title_id 5850406
Subject Area
Mathematics
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 131.22 EUR
list 140.0 USD


Loading