By Andrews Peter B.   in Journal of Automated Reasoning

ISSN:0168-7433|31|2|169-187

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 14.507555

By Andrews Peter B.   Brown Chad E.   Pfenning Frank   Bishop Matthew   Issar Sunil   Xi Hongwei   in Journal of Automated Reasoning

ISSN:0168-7433|32|1|75-92

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 7.2537775