KIRJAUDU
Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Ital
64,30 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 336 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996 ed.
Julkaisuvuosi: 1996, 24.04.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1071
Sivumäärä: 336 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996 ed.
Julkaisuvuosi: 1996, 24.04.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1071
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.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540612087
Aihealue: