共 27 条
- [1] [Anonymous], 2002, 1 COURSE DATABASE SY
- [2] Blizard W. D., 1989, Notre Dame Journal of Formal Logic, V30, P36, DOI 10.1305/ndjfl/1093634995
- [3] BLIZARD WD, 1987, DISCRETE COMBINATORI, P190
- [4] Blizard WD., 1991, MODERN LOGIC, V1, P319
- [5] Brylawski T., 1973, DISCRETE MATH, V6, P210
- [7] Chakrabarty K., 2000, Foundations of Computing and Decision Sciences, V25, P23
- [9] Chakrabarty K, 1999, COMPUT ARTIF INTELL, V18, P1