Automated Reasoning with Analytic Tableaux and Related Methods, Kartoniert / Broschiert

Automated Reasoning with Analytic Tableaux and Related Methods

Buch
  • 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
Lieferzeit beträgt mind. 4 Wochen
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 43,80

Der Artikel Automated Reasoning with Analytic Tableaux and Related Methods wurde in den Warenkorb gelegt.

Zum Warenkorb

Sicherheits- und Herstellerinformationen

Herstellerinformationen

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

ProductSafety@springernature.com