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
Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 28.10.2025.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
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