共 50 条
- [2] REASONING IN SYSTEMS OF EQUATIONS AND INEQUATIONS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 305 - 325
- [3] Reasoning about quantum systems [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
- [4] REASONING ABOUT CONTINUOUS SYSTEMS [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
- [6] Reasoning about Normative Systems [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
- [7] REASONING ABOUT INTERACTIVE SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
- [8] REASONING ABOUT NAMING SYSTEMS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
- [9] Reasoning about Ecological Systems [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
- [10] Reasoning about linear systems [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +