共 50 条
- [41] Equivalent sets of formulas for circumscriptions ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 479 - 483
- [42] Separating sets by modal formulas ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 140 - 153
- [43] GENERALIZED ATOMIC SETS OF FORMULAS PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (06): : 443 - 448
- [44] CONVERGENCE FORMULAS FOR SEQUENCES OF SETS CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1975, 27 (05): : 961 - 969
- [45] A probabilistic logic with polynomial weight formulas FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2008, 4932 : 239 - +
- [50] Some general formulas associated with the second-order homogeneous polynomial line-sequences FIBONACCI QUARTERLY, 2001, 39 (05): : 419 - 429