共 27 条
- [1] ANAND R, 1987, P AAAI INT S KNOWLED
- [2] ANDREKA H, 1978, ACTA CYBERNET, V4, P3
- [3] APT KR, 1988, F LOGIC PROGRAMMING
- [4] ARRUDA AI, 1979, MATH LOGIC LATIN AM, P1
- [5] BARBUTI R, 1986, LECT NOTES COMPUT SC, V225, P600
- [6] BARBUTI R, 1986, UNPUB
- [7] Belnap ND, 1977, MODERN USES MULTIPLE, V2, P5, DOI DOI 10.1007/978-94-010-1161-7_2
- [8] BLAIR HA, 1986, P WORKSHOP F LOGIC P
- [9] BLAIR HA, F GENERALLY HORN LOG
- [10] da Costa N. C. A., 1974, Notre Dame Journal of Formal Logic, V15, P497, DOI 10.1305/ndjfl/1093891487