Computability and Complexity in Analysis 4th International Workshop, CCA 2000 Swansea, UK, September 17-19, 2000 Selected Papers /
edited by Jens Blanck, Vasco Brattka, Peter Hertling.
- On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540453352
Computer science.; Computer software.; Global analysis (Mathematics).; Logic, Symbolic and mathematical.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Analysis.