HyLib 整合性圖書館自動化系統
借閱次數: 0

Model-based reasoning in science and technology abduction, logic, and computational discovery /