Dual Tableaux: Foundations, Methodology, Case Studies
Produktform: E-Buch Text Elektronisches Buch in proprietärem
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.
149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Ewa Orłowska on Relational Methods in Logic and Computer Science
Produktform: E-Buch Text Elektronisches Buch in proprietärem
139,09 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Dual Tableaux: Foundations, Methodology, Case Studies
Produktform: Buch / Einband - fest (Hardcover)
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.
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Dual Tableaux: Foundations, Methodology, Case Studies
Produktform: Buch / Einband - flex.(Paperback)
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.
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Ewa Orłowska on Relational Methods in Logic and Computer Science
Produktform: Buch / Einband - fest (Hardcover)
149,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage