1![arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly](https://www.pdfsearch.io/img/931faa11999bb5e62c13de7cf5af35fb.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2016-12-09 04:24:13
|
---|
2![A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi](https://www.pdfsearch.io/img/d6a2168d03d9be581b5a2140b3a71ce3.jpg) | Add to Reading ListSource URL: www.di.univaq.itLanguage: English - Date: 2011-02-08 09:50:34
|
---|
3![Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract](https://www.pdfsearch.io/img/b700554a9f6a87e3f95e8e4e12ae919f.jpg) | Add to Reading ListSource URL: paul.rutgers.eduLanguage: English - Date: 2014-07-23 19:14:22
|
---|
4![](https://www.pdfsearch.io/img/a6f54bc0dd76f38c474b61a4622a2111.jpg) | Add to Reading ListSource URL: homepages.math.uic.eduLanguage: English - Date: 2016-01-08 10:48:49
|
---|
5![A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009](https://www.pdfsearch.io/img/e39d8a997cc0c7de9b7c976fa56c9313.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-08-10 10:52:15
|
---|
6![Applied Mathematics and Computation xxxxxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc Applied Mathematics and Computation xxxxxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc](https://www.pdfsearch.io/img/1983083b59f72daddb0ef807f7a472bf.jpg) | Add to Reading ListSource URL: scribblethink.orgLanguage: English - Date: 2012-10-07 04:35:37
|
---|
7![Computability 1 Tao Jiang Computability 1 Tao Jiang](https://www.pdfsearch.io/img/77e1dd8b3199c297df00476657d6b64d.jpg) | Add to Reading ListSource URL: www.cs.ucr.eduLanguage: English - Date: 2002-01-28 23:36:37
|
---|
8![Informatics 1 Cognitive Science (2014–2015) School of Informatics, University of Edinburgh Mirella Lapata Quiz 2: Perceptrons and Multilayer Perceptrons 1. Which one of the following is the perceptron’s input functio Informatics 1 Cognitive Science (2014–2015) School of Informatics, University of Edinburgh Mirella Lapata Quiz 2: Perceptrons and Multilayer Perceptrons 1. Which one of the following is the perceptron’s input functio](https://www.pdfsearch.io/img/d684968bc347b4fca74a068f981d737b.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2016-02-11 08:43:44
|
---|
9![Computational Irreducibility and Computational Analogy Computational Irreducibility and Computational Analogy](https://www.pdfsearch.io/img/3840976eba09cd42f0fbecefb2012155.jpg) | Add to Reading ListSource URL: www.complex-systems.comLanguage: English - Date: 2015-10-12 16:05:50
|
---|
10![Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,](https://www.pdfsearch.io/img/b6f6f4d17d7cf33201930d3d50ec6b75.jpg) | Add to Reading ListSource URL: homepages.math.uic.eduLanguage: English - Date: 2016-01-08 10:48:49
|
---|