
Conte aos seus amigos sobre este item:
Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic 2011 edition
Ewa Orlowska
Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic 2011 edition
Ewa Orlowska
Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.
539 pages, 8 black & white tables, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 2 de janeiro de 2013 |
Data do lançamento original | 2012 |
ISBN13 | 9789400734364 |
Editoras | Springer |
Páginas | 523 |
Dimensões | 155 × 235 × 27 mm · 748 g |
Idioma | English |
Mostrar tudo
Mais por Ewa Orlowska
Ver tudo de Ewa Orlowska ( por exemplo Paperback Book e Hardcover Book )