共 50 条
- [2] Automated Reasoning Building Blocks CORRECT SYSTEM DESIGN: SYMPOSIUM IN HONOR OF ERNST-RUDIGER OLDEROG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2015, 9360 : 172 - 188
- [3] Strategies and models in statistical reasoning DEDUCTIVE REASONING AND STRATEGIES, 2000, : 267 - 285
- [9] Building blocks for computational models of angiogenesis CONFERENCE RECORD OF THE THIRTY-EIGHTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2, 2004, : 739 - 745
- [10] Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning SECURITY STANDARDISATION RESEARCH (SSR 2018), 2018, 11322 : 76 - 94