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

Dual Tableaux: Foundations, Methodology, Case Studies

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 ed.
ISBN
9789400734364
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
2.1.2013
Forlag
Springer
Antall sider
523