146 search results - page 30 / 30 » Fault-Tolerant Distributed Theorem Proving |
SAIG
2000
Springer
15 years 1 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...