SULJE VALIKKO
KIRJAUDU
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS - INTERNATIONAL CONFERENCE, TABLEAUX 2002. COPENHAGEN, DENMARK, J | ||
| Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002. Copenhagen, Denmark, J 49,60 € Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Sivumäärä: 346 sivua Asu: Pehmeäkantinen kirja Painos: 2002 Julkaisuvuosi: 2002, 17.07.2002 (lisätietoa) Kieli: Englanti Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 15-18 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783540439295 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |