TY  - GEN
AU  - Schmidt, Renate A.,
AU  - Nalon, Cláudia,
CN  - QA76.9.A96
DO  - 10.1007/978-3-319-66902-1
DO  - doi
ID  - 799737
KW  - Automatic theorem proving
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66902-1
N1  - International conference proceedings.
N1  - Includes author index.
SN  - 9783319669021
SN  - 3319669028
T1  - Automated reasoning with analytic tableaux and related methods :26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /
TI  - Automated reasoning with analytic tableaux and related methods :26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66902-1
VL  - 10501
ER  -