Theorem Proving with Analytic Tableaux and Related Methods

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

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

Автор: Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.65 € 102.98 лв

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

Информация за книгата

Автор

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

336

EAN

9783540612087

ISBN

3540612084

Enbook ID

05274573

Издател

Springer, Berlin

Теглоt

490

Размери

155 x 235 x 18

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Theorem Proving with Analytic Tableaux and Related Methods

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също