Sciweavers

KI
2008
Springer

Efficient Hierarchical Reasoning about Functions over Numerical Domains

13 years 4 months ago
Efficient Hierarchical Reasoning about Functions over Numerical Domains
Viorica Sofronie-Stokkermans
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where KI
Authors Viorica Sofronie-Stokkermans
Comments (0)