Normal view
MARC view
Larchey-Wendling, Dominique(Personal Name)
Machine generated authority record.
Work cat.: (UIAM)503499: TABLEAUX (Conference) (22nd : 2013 : Nancy, France) 7563, Automated reasoning with analytic tableaux and related methods :