|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Accelerating Turing Machines |
B. Jack Copeland |
2002 |
12 | 2 |
p. 281-300 20 p. |
artikel |
|
| 2 | Effective Computation by Humans and Machines |
Oron Shagrir |
2002 |
12 | 2 |
p. 221-240 20 p. |
artikel |
|
| 3 | Is There a Nonrecursive Decidable Equational Theory? |
Benjamin Wells |
2002 |
12 | 2 |
p. 301-324 24 p. |
artikel |
|
| 4 | Logically Possible Machines |
Eric Steinhart |
2002 |
12 | 2 |
p. 259-280 22 p. |
artikel |
|
| 5 | On Effective Procedures |
Carol E. Cleland |
2002 |
12 | 2 |
p. 159-179 21 p. |
artikel |
|
| 6 | Preface |
2002 |
12 | 2 |
p. 157-158 2 p. |
artikel |
||
| 7 | Reflections on Gödel's and Gandy's Reflections on Turing's Thesis |
David Israel |
2002 |
12 | 2 |
p. 181-201 21 p. |
artikel |
|
| 8 | The Scope of Turing's Analysis of Effective Procedures |
Jeremy Seligman |
2002 |
12 | 2 |
p. 203-220 18 p. |
artikel |
|
| 9 | Toward a Formal Philosophy of Hypercomputation |
Selmer Bringsjord |
2002 |
12 | 2 |
p. 241-258 18 p. |
artikel |
9 gevonden resultaten