TY  - GEN
DO  - 10.1007/978-3-319-24312-2
DO  - doi
T1  - Automated reasoning with analytic tableaux and related methods24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings /
AU  - Nivelle, Hans,
VL  - 9323
CN  - QA76.9.A96
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 734015
KW  - Automatic theorem proving
SN  - 9783319243122
SN  - 3319243128
TI  - Automated reasoning with analytic tableaux and related methods24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24312-2
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24312-2
ER  -