A Multi-Strategy Tableau Prover

61.92 EUR 5% Off 64.90 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.90 EUR

15-06-2026 08:04:23

Access to the deal

64.90 EUR 64.90 EUR

15-06-2026 04:21:55

Access to the deal