Normal view
MARC view
Giese, Martin (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.