Publication

Language

Publisher

Subjects

Publication date

3Result(s)for '"Peltier N."'
Sort
Total 3 item(s)

Resource list

By Peltier N.   in Journal of Automated Reasoning

ISSN:0168-7433|33|2|133-170

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 13.870034

 

By Peltier N.   in Journal of Automated Reasoning

ISSN:0168-7433|35|4|391-427

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 13.870034

 

By Peltier N.   in Journal of Symbolic Computation

ISSN:0747-7171|24|1|59-101

Academic Press‎(1997)‎

Access to resources Favorite 13.870034

 

Total 3 item(s)