16 search results - page 4 / 4 » Cloud Computing and the Lessons from the Past |
LICS
2002
IEEE
14 years 3 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...