Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
1Result(s)for '"Arsac Wihem"'
Resource list
By Arsac Wihem Bella Giampaolo Chantry Xavier Compagna Luca in Journal of Automated Reasoning
ISSN:0168-7433|46|3-4|353-388
Springer Publishing Company (2011)
Access to resources Favorite 13.596034