Search alternatives:
oslo » oso
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
“... Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009...”