A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
Harvey J. GreenbergVolume:
28
Language:
english
Pages:
4
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1023/a:1018935718357
Date:
October, 2000
File:
PDF, 24 KB
english, 2000