Gå direkt till innehållet
Dual Tableaux: Foundations, Methodology, Case Studies
Spara

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.
Upplaga
2011 ed.
ISBN
9789400734364
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2.1.2013
Förlag
Springer
Sidor
523