共 50 条
- [1] TMR vs. DICE schematic analysis 2017 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON) PROCEEDINGS, 2017,
- [4] Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach Synthese, 2003, 134 : 25 - 44
- [5] Reasoning with Computers: Inference Vs. Backtracking International Journal of Computers for Mathematical Learning, 1998, 3 (1): : 81 - 92
- [7] Compositional vs. monolithical modeling of nano devices COMPUTATION IN MODERN SCIENCE AND ENGINEERING VOL 2, PTS A AND B, 2007, 2 : 681 - 684
- [10] Reasoning vs. Orthodoxy, or, The Lesson from the Fate of Russian "Reasoning Machine" ICT AND SOCIETY, 2014, 431 : 191 - 202