![Akateeminen Kirjakauppa](/images/index/logo-1195.jpg)
SULJE VALIKKO
KIRJAUDU
THEOREM PROVING IN HIGHER ORDER LOGICS : 17TH INTERNATIONAL CONFERENCE, TPHOLS 2004, PARK CITY, UTAH, USA, SEPTEMBER 14-17, 2004 | |||
| Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004 49,60 € Springer Sivumäärä: 340 sivua Asu: Pehmeäkantinen kirja Painos: 2004 Julkaisuvuosi: 2004, 01.09.2004 (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: 9783540230175 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |