Artificial Intelligence (section level)

Research Output 1976 2020

Filter
Book/Film/Article review
2000

Handbook of Recursive Mathematics [Review of: Y.L. Ershov, S.S. Goncharov (2000) Handbook of Recursive Mathematics]

Terwijn, S. A., 2000, In : Nieuw archief voor de wiskunde. sept. 2000

Research output: Contribution to Journal › Book/Film/Article review › Academic › peer-review

1999

[Review of: First international workshop on hybrid logic (hylo '99).]

Marx, M. J., 1999, In : Logic Journal of the IGPL. 7, 5, p. 665-669

Research output: Contribution to Journal › Book/Film/Article review › Professional

Book review of The classical Decision Problem [Review of: The classical Decision Problem]

Marx, M. J., 1999, In : Journal of Logic, Language and Information. 8, 4, p. 478-481

Research output: Contribution to Journal › Book/Film/Article review › Professional