共 50 条
- [41] APPLICATIONS AND EXTENSIONS OF OWA AGGREGATIONS INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 37 (01): : 103 - 132
- [43] Beyond satisfiability: Extensions and applications NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 213 - 225
- [44] Ordered tableaux:: Extensions and applications AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 173 - 187