| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Abstraction and Idealization in the Formal Verification of Software Systems
|
Angius, Nicola
|
|
2012
|
23 |
2 |
p. 211-226
|
article
|
| 2 |
Don Ihde: Heidegger’s Technologies: Postphenomenological Perspectives
|
Hongladarom, Soraj
|
|
2012
|
23 |
2 |
p. 269-272
|
article
|
| 3 |
Eric Winsberg: Science in the Age of Computer Simulation
|
Gruner, Stefan
|
|
2012
|
23 |
2 |
p. 251-254
|
article
|
| 4 |
Jon Williamson: In Defence of Objective Bayesianism
|
Hosni, Hykel
|
|
2012
|
23 |
2 |
p. 255-258
|
article
|
| 5 |
Julien A. Deonna, Raffaele Rodogno, Fabrice Teroni: In Defense of Shame. The Faces of an Emotion
|
Vallverdú, Jordi
|
|
2012
|
23 |
2 |
p. 273-275
|
article
|
| 6 |
Olaf Sporns: Networks of the Brain
|
Colombo, Matteo
|
|
2012
|
23 |
2 |
p. 259-262
|
article
|
| 7 |
On Potential Cognitive Abilities in the Machine Kingdom
|
Hernández-Orallo, José
|
|
2013
|
23 |
2 |
p. 179-210
|
article
|
| 8 |
Paul M. Churchland: Plato’s Camera: How the Physical Brain Captures a Landscape of Abstract Universals
|
Colombo, Matteo
|
|
2012
|
23 |
2 |
p. 263-268
|
article
|
| 9 |
Replacing Causal Faithfulness with Algorithmic Independence of Conditionals
|
Lemeire, Jan
|
|
2012
|
23 |
2 |
p. 227-249
|
article
|
| 10 |
Some Implications of a Sample of Practical Turing Tests
|
Warwick, Kevin
|
|
2013
|
23 |
2 |
p. 163-177
|
article
|
Journal description