Theorem Proving with Analytic Tableaux and Related Methods

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

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

Szerző: Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 234 Ft

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

Információk a könyvről

Szerző

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1996

oldal

336

EAN

9783540612087

ISBN

3540612084

Enbook ID

05274573

Kiadó

Springer, Berlin

Súly

490

Méretek

155 x 235 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Theorem Proving with Analytic Tableaux and Related Methods

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták