A Multi-Strategy Tableau Prover

61.92 EUR 5% Off 64.99 EUR

Marke: Serra Seca Neto, Adolfo Gustavo

ISBN: 3330763515

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

-5%

Gesponsert A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics

61.92 EUR 64.99 EUR

18-09-2026 13:39:13

Access to the deal

-0%

64.90 EUR 64.99 EUR

17-09-2026 19:53:01

Access to the deal

64.99 EUR 64.99 EUR

16-09-2026 00:04:44

Access to the deal