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: 9783540407874
Price: 217.18 PLN
Availability: InStock

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Autor: Marta Cialdea Mayer, Fiora Pirri

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

217.18 zł

This book constitutes the refereed proceedings of the International Conference on Automated Reasonin...

Informacje o książce

Autor

Marta Cialdea Mayer, Fiora Pirri

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2003

strony

270

EAN

9783540407874

ISBN

3540407871

Enbook ID

01562963

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

890

Wymiary

155 x 233 x 15

Pełny opis

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.§The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

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

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

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