Automated reasoning with analytic tableaux and related methods: 26th international conference, tableaux 2017, brasÃlia, brazil, september 25–28, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319669014
Date de publication :
31 août 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in BrasÃlia, Bazil, in September 2017.