Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Kanovich Max"'
Sort
Total 1 item(s)

Resource list

By Kanovich Max   Rowe Paul   Scedrov Andre   in Journal of Automated Reasoning

ISSN:0168-7433|46|3-4|389-421

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 13.100752

 

Total 1 item(s)