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