共 50 条
- [21] Neural-symbolic intuitionistic reasoning DESIGN AND APPLICATION OF HYBRID INTELLIGENT SYSTEMS, 2003, 104 : 399 - 408
- [23] Rethinking Pointer Reasoning in Symbolic Execution PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 613 - 618
- [25] Symbolic Representation and Reasoning for Rectangles with Superposition DBKDA 2011: THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN DATABASES, KNOWLEDGE, AND DATA APPLICATIONS, 2011, : 71 - 76
- [27] SYMBOLIC REASONING IN CONFORMATIONAL-ANALYSIS ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1987, 193 : 12 - COMP
- [28] A symbolic approximate reasoning under fuzziness FUZZY SETS AND SYSTEMS - IFSA 2003, PROCEEDINGS, 2003, 2715 : 685 - 693
- [29] Structures for symbolic mathematical reasoning and computation DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 216 - 227
- [30] LOGICAL REASONING IN SYMBOLIC NEURAL NETWORKS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 327 - 334