Automated reasoning (2nd ed.): introduction and applications

,2001, 引用: 0

Journal of Automated Reasoning,2014, 引用: 145

Proceedings of the 2008 conference on Current Issues in Computing and Philosophy,2008, 引用: 0

international joint conference on artificial intelligence,2003, 引用: 71

Artificial Intelligence Today,1999, 引用: 28

Journal of Automated Reasoning,2002, 引用: 0

Journal of Automated Reasoning,1997, 引用: 446

Journal of Automated Reasoning,1997, 引用: 6

international symposium on programming language implementation and logic programming,1997, 引用: 0

Journal of Automated Reasoning,1998, 引用: 0