Language
Publisher
Subjects
Publication date
-
All (
)
-
Free, open source (
)
1Result(s)for '"Chaieb Amine"'
Resource list
By Chaieb Amine in Journal of Automated Reasoning
ISSN:0168-7433|47|3|291-318
Springer Publishing Company (2011)
Access to resources
Favorite
22.060764