Artificial Intelligence (section level)

Research output

Research output per year 1976 2022

• 1166 Conference contribution
• 717 Article
• 143 Chapter
• 62 PhD Thesis - Research VU Amsterdam, graduation VU Amsterdam
• 194 More
  • 37 Book
  • 24 Report
  • 23 Paper
  • 21 Book editing
  • 17 Abstract
  • 17 Editorial
  • 15 Foreword/postscript
  • 10 Review article
  • 8 Poster
  • 5 PhD Thesis - Research external, graduation external
  • 4 PhD Thesis - Research external, graduation VU Amsterdam
  • 3 Book/Film/Article review
  • 2 Inaugural speech
  • 2 Comment / Letter to the editor
  • 2 Letter
  • 1 Erratum
  • 1 Special issue (editing)
  • 1 Exhibition
  • 1 PhD Thesis - Research VU Amsterdam, graduation external

Research output per year

Research output per year

Search results

• 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