Concepedia

Practical Reasoning About Final Ends

William B. Kline, David Schmidtz

International Studies in Philosophy · 1996 · 181 citations · 0 references

Concepts

ReasoningEngineeringAutomated ReasoningReasoning About ActionFormal MethodsLogical ReasoningFormal Mathematical ReasoningFinal EndsFormal Verification