共 50 条
- [21] Inference systems for logical algorithms FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 60 - 78
- [25] THE IDEA OF A LOGICAL CONSTANT + LOGICAL RULE OF INFERENCE JOURNAL OF PHILOSOPHY, 1981, 78 (09): : 499 - 523
- [26] LOGICAL INFERENCE AND INTERPRETATION OF CONDITIONALS BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1977, 30 (MAY): : 156 - 156
- [28] Inference by generating in deductive databases Data and Knowledge Engineering, 1992, 7 (04): : 327 - 357
- [29] INFERENCE SECURE MULTILEVEL DATABASES IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 21 : 317 - 332