Marcello D'Agostino profile picture

Marcello D'Agostino

Is this your author profile? Create an account to customize it!

Stand Alone

Handbook of tableau methods
Handbook of Tableau Methods
Depth-Bounded Reasoning. Classical Propositional Logic
Handbook of Tableau Methods
Handbook of Tableau Methods
Labelled Deduction
Labelled Deduction