共 50 条
- [33] Extending decidable clause classes via constraints [J]. AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 206 - 220
- [34] Extending the libtins library with SIP and RTP classes [J]. 2020 14TH INTERNATIONAL SYMPOSIUM ON ELECTRONICS AND TELECOMMUNICATIONS (ISETC), 2020, : 371 - 374
- [35] Modules which are extending relative to module classes [J]. COMMUNICATIONS IN ALGEBRA, 1998, 26 (06) : 1699 - 1721
- [40] ESTIMATES OF HOUSEHOLDS PREFERENCES FOR ENVIRONMENTAL-QUALITY AND OTHER HOUSING CHARACTERISTICS FROM A SYSTEM OF DEMAND EQUATIONS [J]. SCANDINAVIAN JOURNAL OF ECONOMICS, 1979, 81 (02): : 174 - 187