Sara Negri · 4 obras en el catálogoObrasStructural proof theoryMathesis Universalis, Computability and ProofAAutomated Reasoning with Analytic Tableaux and Related MethoAutomated Reasoning with Analytic Tableaux and Related MethodsPProof AnalysisProof Analysis
AAutomated Reasoning with Analytic Tableaux and Related MethoAutomated Reasoning with Analytic Tableaux and Related Methods