Gå direkte til innholdet
Automated Reasoning with Analytic Tableaux and Related Methods
Spar

Automated Reasoning with Analytic Tableaux and Related Methods

Undertittel
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
ISBN
9783032060846
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
28.9.2025
Antall sider
492