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