Tell your friends about this 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
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | November 30, 2010 |
ISBN13 | 9789400700048 |
Publishers | Springer |
Pages | 523 |
Dimensions | 155 × 235 × 30 mm · 907 g |