Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
1Result(s)for '"Genet Thomas"'
Resource list
By Feuillade Guillaume Genet Thomas Viet Triem Tong Valérie in Journal of Automated Reasoning
ISSN:0168-7433|33|3-4|341-383
Springer Publishing Company (2004)
Access to resources
Favorite
8.491045