SULJE VALIKKO
KIRJAUDU
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS - 22ND INTERNATIONAL CONFERENCE, TABLEAUX 2013, NANCY, FRANCE, SE | ||
| Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Nancy, France, Se 45,80 € Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Sivumäärä: 289 sivua Asu: Pehmeäkantinen kirja Painos: 2013 Julkaisuvuosi: 2013, 21.08.2013 (lisätietoa) Kieli: Englanti Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783642405365 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |