Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
| INTERACTIVE THEOREM PROVING - 5TH INTERNATIONAL CONFERENCE, ITP 2014, HELD AS PART OF THE VIENNA SUMMER OF LOGIC, VSL 2014, VIEN Sivumäärä: 555 Kirjoittaja: Klein, Gerwin; Gamboa, Ruben Kustantaja: Springer International Publishing AG Kirjan kieli: Englanti Asu: Pehmeäkantinen kirja Painos: 2014 ed. Julkaisuvuosi: 2014 | |||
| |||