DBLP:conf/ijcai/DuboisLP87 + redirect page
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach + Has identifier
| Theorem Proving Under Uncertainty - A Possibility Theory-based Approach |
Has publishing details
pp. 984-986, 1987
Has title
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai87.html#DuboisLP87
Has where published
IJCAI
Has year
1987
Has author
Didier Dubois +, Jérôme Lang +, Henri Prade +
Has identifier
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach +
Categories Proceeding Paper +
|
