DBLP:conf/ijcai/DohertyLS01 + redirect page
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas + Has identifier
| Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas |
Has publishing details
pp. 145-154, 2001
Has title
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#DohertyLS01
Has where published
IJCAI
Has year
2001
Has author
Patrick Doherty +, Witold Lukaszewicz +, Andrzej Szalas +
Has identifier
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas +
Categories Proceeding Paper +
|
