|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated theorem provers: a practical tool for the working mathematician? |
Bundy, Alan |
2011 |
61 | 1 |
p. 3-14 |
artikel |
|
| 2 | Forward |
Golumbic, Martin Charles |
2011 |
61 | 1 |
p. 1-2 |
artikel |
|
| 3 | Remarks on the future of AI: machines and communication |
Richter, Michael M. |
2011 |
61 | 1 |
p. 41-46 |
artikel |
|
| 4 | The algorithmization of counterfactuals |
Pearl, Judea |
2011 |
61 | 1 |
p. 29-39 |
artikel |
|
| 5 | Where logic and agents meet |
Dix, Jürgen |
2011 |
61 | 1 |
p. 15-28 |
artikel |
5 gevonden resultaten