Conte aos seus amigos sobre este item:
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science
Nicola Olivetti
Preço
NOK 559
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 21 - 27 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science
Nicola Olivetti
Constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France in July 2007. This book includes papers that cover many topics in the wide range of logics, from intuitionistic and substructural logics to modal logics.
250 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 21 de junho de 2007 |
| ISBN13 | 9783540730989 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 250 |
| Dimensões | 156 × 234 × 13 mm · 412 g |
| Idioma | German |
