Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers

Main Author: Blanck, Jens
Other Authors: Brattka, Vasco, Hertling, Peter
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01349nmm a2200361 u 4500
001 EB000287401
003 EBX01000000000000000053085
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540453352 
020 |a 978-3-540-42197-9 
100 1 |a Blanck, Jens 
245 0 0 |a Computability and Complexity in Analysis  |h Elektronische Ressource  |b 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers  |c edited by Jens Blanck, Vasco Brattka, Peter Hertling 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2001 
300 |b v. digital 
700 1 |a Brattka, Vasco 
700 1 |a Hertling, Peter 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 |u http://dx.doi.org/10.1007/3-540-45335-0?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Computer science 
650 4 |a Computer software 
650 4 |a Global analysis (Mathematics) 
650 4 |a Logic, Symbolic and mathematical 
650 4 |a Computer Science 
650 4 |a Algorithm Analysis and Problem Complexity 
650 4 |a Analysis 
650 4 |a Computation by Abstract Devices 
650 4 |a Mathematical Logic and Formal Languages 
650 4 |a Mathematical Logic and Foundations