http://ir.sinica.edu.tw/handle/201000000A/38526| Title: | Gentzen sequent calculus for possibilistic reasoning | Authors: | Liau, C. J. Lin, I. P. |
Issue Date: | 1994 | Conference: | Knowledge Representation and Reasoning under Uncertainty | URI: | http://ir.sinica.edu.tw/handle/201000000A/38526 |
| Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
