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

22-04-2026 17:43:34

Access to the deal

64.90 EUR 64.90 EUR

21-04-2026 20:20:40

Access to the deal