|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000057764 |
| 005 |
20090407.0 |
| 008 |
080527s2008 nyua eng |
| 020 |
|
|
|a 9780387360331
|
| 090 |
0 |
0 |
|a QA9.59
|b .N49 2008
|
| 245 |
0 |
0 |
|a New computational paradigms :
|b changing conceptions of what is computable
|c edited by S. Barry Cooper, Benedikt Lowe, Andrea Sorbi
|
| 260 |
|
|
|a New York :
|b Springer ,
|c c2008
|
| 300 |
|
|
|a xiii, 557 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index
|
| 505 |
0 |
|
|a 1. The turing model of computation and it's applications to logic, mathemathics, philosophy, and computer science -- 2. Logic, algorithms and complexity --3. Models of computation from nature -- 4. Computable analysis and real computation
|
| 650 |
|
0 |
|a Computable functions
|
| 700 |
1 |
|
|a Cooper, S. B. [
|q (S. Barry)] ,
|e author
|
| 700 |
1 |
|
|a Lowe, Benedikt ,
|e author
|
| 700 |
1 |
|
|a Sorbi, Andrea ,
|d 1956- ,
|e author
|
| 999 |
|
|
|a 1000119422
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|