Siirry suoraan sisältöön
Automated Reasoning with Analytic Tableaux and Related Methods
Tallenna

Automated Reasoning with Analytic Tableaux and Related Methods

Alaotsikko
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
ISBN
9783032060846
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
28.9.2025
Sivumäärä
492