Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Peñaloza Rafael"'
Sort
Total 1 item(s)

Resource list

By Baader Franz   Peñaloza Rafael   in Journal of Automated Reasoning

ISSN:0168-7433|45|2|91-129

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 17.987036

 

Total 1 item(s)