|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithms and computations for foldedness of P-ideals in BCI-algebras |
Lele, Celestin |
2008 |
6 | 4 |
p. 580-588 9 p. |
artikel |
|
| 2 | A note on an extension of PDL |
Göller, Stefan |
2008 |
6 | 4 |
p. 606-608 3 p. |
artikel |
|
| 3 | Authenticity: a red herring? |
Currall, J.E.P. |
2008 |
6 | 4 |
p. 534-544 11 p. |
artikel |
|
| 4 | Challenging epistemology: Interactive proofs and zero knowledge |
Bledin, Justin |
2008 |
6 | 4 |
p. 490-501 12 p. |
artikel |
|
| 5 | Computation, hypercomputation, and physical science |
Arkoudas, Konstantine |
2008 |
6 | 4 |
p. 461-475 15 p. |
artikel |
|
| 6 | Dark programming and the case for the rationality of programs |
Janlert, Lars-Erik |
2008 |
6 | 4 |
p. 545-552 8 p. |
artikel |
|
| 7 | Editorial Board |
2008 |
6 | 4 |
p. iii-vi nvt p. |
artikel |
||
| 8 | Experimenting with computing |
Beynon, Meurig |
2008 |
6 | 4 |
p. 476-489 14 p. |
artikel |
|
| 9 | Extended-order algebras |
Guido, Cosimo |
2008 |
6 | 4 |
p. 609-626 18 p. |
artikel |
|
| 10 | Metaphor in computer science |
Colburn, T.R. |
2008 |
6 | 4 |
p. 526-533 8 p. |
artikel |
|
| 11 | Program algebra with a jump-shift instruction |
Bergstra, J.A. |
2008 |
6 | 4 |
p. 553-563 11 p. |
artikel |
|
| 12 | Reasoning with prioritized information by iterative aggregation of distance functions |
Arieli, Ofer |
2008 |
6 | 4 |
p. 589-605 17 p. |
artikel |
|
| 13 | Representation theorems for explanatory reasoning based on cumulative models |
Díaz, Arelis |
2008 |
6 | 4 |
p. 564-579 16 p. |
artikel |
|
| 14 | The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself |
Bringsjord, Selmer |
2008 |
6 | 4 |
p. 502-525 24 p. |
artikel |
|
| 15 | The Philosophy of Computer Science |
Turner, Raymond |
2008 |
6 | 4 |
p. 459- 1 p. |
artikel |
15 gevonden resultaten