
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.
562 pages, 8 black & white tables, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 30 de novembro de 2010 |
ISBN13 | 9789400700048 |
Editoras | Springer |
Páginas | 523 |
Dimensões | 155 × 235 × 30 mm · 907 g |
Mostrar tudo
Mais por Ewa Orlowska
Ver tudo de Ewa Orlowska ( por exemplo Paperback Book e Hardcover Book )