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

02-11-2026 23:54:22

Access to the deal

64.99 EUR 64.99 EUR

04-11-2026 05:20:39

Access to the deal