Decision Support Services Facilitating Uncertainty Management
暂无分享,去创建一个
[1] Ulisses Ferreira. A five-valued logic and a system , 2004 .
[2] Bernhard Thalheim,et al. Abstract State Machines 2004. Advances in Theory and Practice , 2004, Lecture Notes in Computer Science.
[3] Frank Pfenning,et al. Logic Programming and Automated Reasoning , 1994, Lecture Notes in Computer Science.
[4] Makoto Takashima,et al. Programs for Verifying Circuit Connectivity of MOS/LSI Mask Artwork , 1982, DAC 1982.
[5] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[6] Alex K. Simpson,et al. Computational Adequacy in an Elementary Topos , 1998, CSL.
[7] Minkoo Kim,et al. Reliability Measure Theory: A Nonmonotonic Semantics , 1993, IEEE Trans. Knowl. Data Eng..
[8] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[9] Reiner Hähnle,et al. Verification of Switch-Level Designs with Many-Valued Logic , 1993, LPAR.
[10] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[11] J. M. Dunn,et al. Modern Uses of Multiple-Valued Logic , 1977 .
[12] R. Wille. Concept lattices and conceptual knowledge systems , 1992 .