Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Jurkowiak Bernard"'
Sort
Total 1 item(s)

Resource list

By Jurkowiak Bernard   Li Chu   Utard Gil   in Journal of Automated Reasoning

ISSN:0168-7433|34|1|73-101

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 12.845919

 

Total 1 item(s)