Spar
Theorem Proving with Analytic Tableaux and Related Methods
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.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research.
- Undertittel
- 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
- Opplag
- 1996 ed.
- ISBN
- 9783540612087
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 24.4.1996
- Antall sider
- 336
