
Automated Reasoning with Analytic Tableaux and Related Methods
- Alaotsikko
- 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
- Toimittaja
- Gian Luca Pozzato, Tarmo Uustalu
- ISBN
- 9783032060846
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.9.2025
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 492