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

lorenzo (edt) magnani · springer-verlag new york inc