Theorem Proving with Analytic Tableaux and Related Methods

Name: Theorem Proving with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 9783540612087
Price: 1147 CZK
Availability: InStock

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Autor: Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableau...

Informace o knize

Autor

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1996

Stránek

336

EAN

9783540612087

ISBN

3540612084

Enbook ID

05274573

Vydavatel

Springer, Berlin

Hmotnost

490

Rozměry

155 x 235 x 18

Kompletní popis

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také