|
|

avaa valikko

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
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.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

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
Helsinki
Tapiola
Turku
Tampere
Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), ItalSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783540612087
Kansikuva tuotteelle