DBLP:conf/aaai/BesnardQQ83 + redirect page
A Theorem-Prover for a Decidable Subset of Default Logic + Has identifier
| A Theorem-Prover for a Decidable Subset of Default Logic |
Has publishing details
pp. 27-30, 1983
Has title
A Theorem-Prover for a Decidable Subset of Default Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai83.html#BesnardQQ83
Has where published
AAAI
Has year
1983
Has author
Philippe Besnard +, Rene Quiniou +, Patrice Quinton +
Has identifier
A Theorem-Prover for a Decidable Subset of Default Logic +
Categories Proceeding Paper +
|
