Artificial intelligence: Retrospective/prospective

DOI10.1023/A:1018931617448zbMath1001.68970OpenAlexW1492051474MaRDI QIDQ1601832

Nachum Dershowitz

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018931617448

zbMATH Keywords

symbolic programmingformal reasoning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

This page was built for publication: Artificial intelligence: Retrospective/prospective