共 50 条
- [43] Symbolic Reasoning for Automatic Signal Placement PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 120 - 134
- [45] A distributed associative memory for symbolic reasoning CONNECTIONIST-SYMBOLIC INTEGRATION: FROM UNIFIED TO HYBRID APPROACHES, 1997, : 265 - 278
- [46] Neural-symbolic intuitionistic reasoning DESIGN AND APPLICATION OF HYBRID INTELLIGENT SYSTEMS, 2003, 104 : 399 - 408
- [48] Rethinking Pointer Reasoning in Symbolic Execution PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 613 - 618