Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /

Na minha lista:
Detalhes bibliográficos
Principais autores: Carnielli, Walter., Coniglio, Marcelo., Gabbay, Dov M., Gouveia, Paula., Sernadas, Cristina., SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Endereço do item:http://dx.doi.org/10.1007/978-1-4020-6782-2
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!