Gå direkt till innehållet
Automated Reasoning with Analytic Tableaux and Related Methods
Spara

Automated Reasoning with Analytic Tableaux and Related Methods

Undertitel
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
ISBN
9783032060846
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
28.9.2025
Sidor
492