AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Peter Baumgartner

Peter Baumgartner

Commonwealth Scientific and Industrial Research Organization - Canberra / Australia
Others
AD Scientific Index ID: 4389121
Commonwealth Scientific and Industrial Research Organisation
person_outline Peter Baumgartner's MOST POPULAR ARTICLES
1-) Hyper tableaux European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2-) The model evolution calculus International Conference on Automated Deduction, 350-364, 2003
3-) Protein: A PROver with a Theory Extension INterface International Conference on Automated Deduction, 769-773, 1994
4-) The TPTP typed first-order form with arithmetic International Conference on Logic for Programming Artificial Intelligence …, 2012
5-) Computing finite models by reduction to function-free clause logic Journal of Applied Logic 7 (1), 58-74, 2009