共 50 条
- [21] A Method of Digital Image Source Forensics Based on Wavelet Higher-order Statistics 2019 18TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS FOR BUSINESS ENGINEERING AND SCIENCE (DCABES 2019), 2019, : 92 - 95
- [23] EXTENDING IDEAS OF TAIT FOR INCORPORATING HIGHER-ORDER PARAMETERS IN SCHEMES OF REFLECTION JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2020, 7 (04): : 391 - 401
- [24] Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, 2019, 11427 : 192 - 210
- [25] Extending the TPTP language to higher-order logic with automated parser generation AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 156 - 161
- [26] Extending ideas of tait for incorporating higher-order parameters in schemes of reflection Journal of Applied Logics, 2020, 7 (04): : 391 - 401
- [27] Extending a brainiac prover to lambda-free higher-order logic International Journal on Software Tools for Technology Transfer, 2022, 24 : 67 - 87
- [30] Higher-order holographic associative memories and image processing FIFTH INTERNATIONAL CONFERENCE ON CORRELATION OPTICS, 2001, 4607 : 206 - 213