MEDLAR II

(redirected from Mechanising Deduction in the Logics of Practical Reasoning)
AcronymDefinition
MEDLAR IIMechanising Deduction in the Logics of Practical Reasoning