Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Liang Chuck"'
Sort
Total 1 item(s)

Resource list

By Liang Chuck   Nadathur Gopalan   Qi Xiaochu   in Journal of Automated Reasoning

ISSN:0168-7433|33|2|89-132

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 9.839957

 

Total 1 item(s)