Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Baader Franz"'
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 14.825846

 

Total 1 item(s)