Kategorie główne

• Nauka

[2946600]

• Literatura piękna

[1856966]

więcej...

Kategorie szczegółowe BISAC

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, Tableaux 2017, Brasília, Brazil, September 25-28, 2017,

ISBN-13: 9783319669014 / Angielski / Miękka / 2017 / 381 str.

Renate A. Schmidt; Claudia Nalon

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, Tableaux 2017, Brasília, Brazil, September 25-28, 2017,

ISBN-13: 9783319669014 / Angielski / Miękka / 2017 / 381 str.

Renate A. Schmidt; Claudia Nalon

cena 262,25 zł
(netto: 249,76 VAT: 5%)

Najniższa cena z 30 dni: 250,57 zł

Termin realizacji zamówienia:
ok. 22 dni roboczych
Bez gwarancji dostawy przed świętami

Darmowa dostawa!

This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Artificial Intelligence - General
Mathematics > Logic
Computers > Programming - Compilers

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783319669014