共 50 条
- [41] SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment Journal of Automated Reasoning, 2020, 64 : 611 - 640
- [42] Optimization of mechanical systems: On non-linear first-order approximation with an additive convex term COMMUNICATIONS IN NUMERICAL METHODS IN ENGINEERING, 1997, 13 (01): : 13 - 20
- [46] Huffman tree based metric derivation for a low-complexity sequential soft VLC decoding 2002 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2002, : 783 - 787
- [48] A Low Complexity M-QAM Soft De-mapping Method in Alpha Stable Field of Interference PROCEEDINGS OF THE 2020 IEEE TEXAS SYMPOSIUM ON WIRELESS AND MICROWAVE CIRCUITS AND SYSTEMS (WMCS), 2020,