1 Ebooks von Arild Waaler
Martin Giese & Arild Waaler: Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norw …
PDF
Englisch
DRM
€57.96
