Normal view
MARC view
Waaler, Arild(Personal Name)
Machine generated authority record.
Work cat.: (UIAM)503485: TABLEAUX 2009 (2009 : Oslo, Norway) 7497, Automated reasoning with analytic tableaux and related methods :