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

27-07-2026 22:57:12

Access to the deal

64.90 EUR 64.90 EUR

29-07-2026 02:12:14

Access to the deal