共 50 条
- [6] Inductive Reasoning about Effectful Data Types [J]. ICFP'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2007, : 97 - 110
- [7] Inductive reasoning about effectful data types [J]. ACM SIGPLAN NOTICES, 2007, 42 (09) : 97 - 110
- [8] Abductive, Inductive and Deductive Reasoning about Resources [J]. COMPUTER SCIENCE LOGIC, 2010, 6247 : 49 - 50
- [9] Thinking about music: Novice and expert inductive reasoning [J]. PROCEEDINGS OF THE TWENTY-FIFTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, PTS 1 AND 2, 2003, : 1317 - 1317
- [10] Inductive Reasoning about Ontologies Using Conceptual Spaces [J]. THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4364 - 4370