By Büning Hans   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|43|1|113-127

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 16.562313

By Kleine Büning Hans   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|43|1-4|113-127

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 14.669215

By Kleine Büning Hans   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|43|1|295-306

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 14.669215

By Kleine Büning Hans   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|43|1-4|295-306

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 14.669215

By Kleine Büning Hans   Subramani K.   Zhao Xishun   in Journal of Automated Reasoning

ISSN:0168-7433|39|1|49-75

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 10.114808