Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
- edited by Renate A. Schmidt, Cláudia Nalon (eds.).
- text file
- Cham, Switzerland : Springer, 2017.
- Physical description
- 1 online resource (xii, 381 pages) : illustrations
- Lecture notes in computer science ; 10501. 0302-9743
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- LNCS sublibrary. SL 7, Artificial intelligence.
Browse related items
Start at call number: