Gå direkte til innholdet
Dual Tableaux: Foundations, Methodology, Case Studies
Spar

Dual Tableaux: Foundations, Methodology, Case Studies

innbundet, 2010
Engelsk
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.
Opplag
2011
ISBN
9789400700048
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
30.11.2010
Forlag
Springer
Antall sider
523