Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Melo de Sousa Simão"'
Sort
Total 1 item(s)

Resource list

By Barthe Gilles   Courtieu Pierre   Dufay Guillaume   Melo de Sousa Simão   in Journal of Automated Reasoning

ISSN:0168-7433|35|4|295-354

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 15.487198

 

Total 1 item(s)