Sciweavers

AISC
2006
Springer

Extension of First-Order Theories into Trees

14 years 2 months ago
Extension of First-Order Theories into Trees
Khalil Djelloul, Thi-Bich-Hanh Dao
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2006
Where AISC
Authors Khalil Djelloul, Thi-Bich-Hanh Dao
Comments (0)