Sciweavers

211 search results - page 43 / 43
» 04491 Abstracts Collection - Synchronous Programming - SYNCH...
Sort
View
AMAI
2000
Springer
14 years 11 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