Sciweavers

126
Voted
CADE
2010
Springer

On Hierarchical Reasoning in Combinations of Theories

14 years 6 months ago
On Hierarchical Reasoning in Combinations of Theories
Carsten Ihlemann, Viorica Sofronie-Stokkermans
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CADE
Authors Carsten Ihlemann, Viorica Sofronie-Stokkermans
Comments (0)