Autore: Vasco Brattka

Supporto
Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.




6 Ebook di Vasco Brattka

Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive …
PDF
DRM
€216.50
Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive …
EPUB
Inglese
DRM
€159.95
Jens Blanck & Vasco Brattka: Computability and Complexity in Analysis
The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth works …
PDF
Inglese
DRM
€57.81
Margaret Archibald & Vasco Brattka: Infinity in Logic and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic an …
PDF
Inglese
DRM
€57.46
Paola Bonizzoni & Vasco Brattka: Nature of Computation: Logic, Algorithms, Applications
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, Ci E 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited …
PDF
Inglese
DRM
€57.64
Vasco Brattka & Peter Hertling: Handbook of Computability and Complexity in Analysis
Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing’s seminal work in the 1930s. This was motivated by questions such as: which real numbers …
PDF
Inglese
€74.89