A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
Adolfo Gustavo Serra Seca Neto
·
Novas Edições Acadêmicas
$ 80.00
Ver Precio
Envío a todo Internacional
Reseña del libro
Opiniones del Libro
Opiniones sobre Buscalibre
{{ nombre_cliente }}
"{{ opinion }}"
Ver más opiniones de clientes