Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems - Paperback - 2010
Walter A. Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Resumo
Year of publication: 2010
Pagination: 618 pages, biography
Format: Paperback
Serie: Applied Logic Series
Analysis and Synthesis of Logics - How to Cut and Paste...
Resumo
Year of publication: 2010
Pagination: 618 pages, biography
Format: Paperback
Serie: Applied Logic Series
Publicidade
Avaliações dos nossos clientes
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems - Paperback - 2010
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer
- Dimensão
-
234 x 156 x 31
- Peso
-
857
- Tema
-
Mathematical logic
- Origem
-
Netherlands
- EAN
-
9789048177257
Publicidade
Publicidade