Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR

Marke: Springer

ISBN: 3030290255

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR 53.49 EUR

19-09-2026 19:34:11

Access to the deal

53.49 EUR 53.49 EUR

22-09-2026 17:54:05

Access to the deal

53.49 EUR 53.49 EUR

23-09-2026 00:31:31

Access to the deal