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.
539 pages, 8 black & white tables, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | January 2, 2013 |
Original release date | 2012 |
ISBN13 | 9789400734364 |
Publishers | Springer |
Pages | 523 |
Dimensions | 155 × 235 × 27 mm · 748 g |
Language | English |