DBLP:conf/ijcai/HustadtS97 + redirect page
On Evaluating Decision Procedures for Modal Logic + Has identifier
| On Evaluating Decision Procedures for Modal Logic |
Has publishing details
pp. 202-209, 1997
Has title
On Evaluating Decision Procedures for Modal Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai97.html#HustadtS97
Has where published
IJCAI (1)
Has year
1997
Has author
Ullrich Hustadt +, Renate A. Schmidt +
Has identifier
On Evaluating Decision Procedures for Modal Logic +
Categories Proceeding Paper +
|
