Artificial intelligence

Research Output 1976 2017

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: Scientific - peer-reviewBook/Film/Article 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: ProfessionalBook/Film/Article review

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: ProfessionalBook/Film/Article review