Search: (more)
Header

Conference Calendar: Conference TABLEAUX

WWW WWW   TABLEAUX 2017
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
26 Sep 2017 - 29 Sep 2017 (Brasília, Brazil)
| abstracts: 18 Apr 2017 | papers: 25 Apr 2017 | notification: 08 Jun 2017 |