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