Mechanizing Deduction in the Logics of Practical Reasoning [MEDLAR]Project LeadBruno BuchbergerProject Duration01/10/1989 - 28/02/1992PublicationsAll2024 - 20222021 - 20192018 - 20162015 - 20132012 - 20102009 - 20072006 - 20042003 - 20012000 - 19981997 - 19951994 - 19921991 - 19891988 - 19861985 - 1965Advanced SearchRISC Report Series
