43 search results - page 9 / 9 » Proving Theorems in a Multi-Source Environment |
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
FMCAD
2006
Springer
13 years 9 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
SAIG
2000
Springer
13 years 8 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...