|
|||||
|
|
Reasoning About Set Constraints Applied to Tractable Inference in Instutionstic Logic |
|
| Authors: | DRAKENGREN THOMAS; JONSSON PETER |
| Affiliation: | Department of Computer and Information Science, LinkÖping University S-581 83 LinkÖping, Sweden. E-mail: thodrpetej{at}ida.liu.se |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |