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

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

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

61.92 EUR
Preis aktualisiert am: 13-05-2026 15:57:20
Siehe Produktangebot

Gesponsert A Multi-Strategy Tableau Prover, Fachbücher von Adolfo Gustavo Serra Seca Neto

64.90 EUR
Preis aktualisiert am: 14-05-2026 01:27:30
Siehe Produktangebot
Bezeichner
ISBN Serra Seca Neto, Adolfo Gustavo 3330763515
Abmessungen / Gewicht
Hauptmerkmale
Serra Seca Neto, Adolfo Gustavo