Sciweavers

3 search results - page 1 / 1
» annals 2000
Sort
View
ANNALS
2004
56views more  ANNALS 2004»
13 years 7 months ago
Computer Sciences at Purdue University-1962 to 2000
Purdue University established the first academic department of computer sciences in 1962. The events, starting in 1959, leading to its establishment are chronicled, and then its f...
John R. Rice, Saul Rosen
AMAI
2000
Springer
13 years 7 months ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
Harvey J. Greenberg