Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642405365
Price: 199.87 PLN
Availability: InStock

22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Autor: Didier Galmiche, Dominique Larchey-Wendling

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

199.87 zł

This book constitutes the refereed proceedings of the 22th International Conference on Automated Rea...

Informacje o książce

Autor

Didier Galmiche, Dominique Larchey-Wendling

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

289

EAN

9783642405365

ISBN

3642405363

Enbook ID

02007069

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

4569

Wymiary

155 x 235 x 16

Pełny opis

This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, implementations and applications as well as automated deduction and formal methods applied to logic, mathematics, software development, protocol verification, and security.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Automated Reasoning with Analytic Tableaux and Related Methods

22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również