共 50 条
- [21] Incremental deductive & inductive reasoning for SAT-based Bounded Model Checking ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 502 - 509
- [24] Rationality, reasoning and rules: reflections on Broome’s rationality through reasoning Philosophical Studies, 2016, 173 : 3385 - 3397