Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Adolfo Gustavo Serra Seca Neto

Rasta: 1
A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
-15% su kodu: ENG15
79,40 
93,41 
Išsiųsime per 11-15 d. d.
Rasta: 1