共 28 条
- [1] One-pass tableaux for computation tree logic [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 32 - +
- [2] Astrachan L. O., 1991, TECH REP
- [3] Beckert B., 1996, Automated Deduction - Cade-13. 13th International Conference on Automated Deduction. Proceedings, P303
- [4] Ben-Ari M., 1981, POPL 81 PROC 8 ACM S, P164, DOI [10.1145/567532.567551, DOI 10.1145/567532.567551]
- [5] Bose S., 1989, Proceedings. Fourth Annual Symposium on Logic in Computer Science (Cat. No.89CH2753-2), P80, DOI 10.1109/LICS.1989.39161
- [6] Carpenter B, MPIJAVA HOME PAGE
- [7] COMPUTATIONAL ASPECTS OF THE PENTIUM AFFAIR [J]. IEEE COMPUTATIONAL SCIENCE & ENGINEERING, 1995, 2 (01): : 18 - 30
- [8] del Cerro L. F., 2001, Automated Reasoning. First International Joint Conference, IJCAR 2001. Proceedings (Lecture Notes in Artificial Intelligence Vol.2083), P453
- [9] Fensel D., 1996, P 10 BANFF KNOWL ACQ, P18
- [10] FITTING M, 1996, 1 ORDER LOGIC AUTOMA