共 50 条
- [1] Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs? DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2022, 2022, 13462 : 37 - 53
- [4] Building proofs or counterexamples by analogy in a resolution framework LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 34 - 49
- [7] Counterexamples for validation and discovering of new theorems GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 477 - +
- [10] Modular cut-elimination: Finding proofs or counterexamples LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 135 - 149