SULJE VALIKKO

avaa valikko

Donald W. Loveland | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Automated Theorem Proving - After 25 Years
W. W Bledsoe; Donald W. Loveland
MP-AMM American Mathematical (1984)
Pehmeäkantinen kirja
124,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Three Views of Logic - Mathematics, Philosophy, and Computer Science
Donald W. Loveland; Richard Hodel; S. G. Sterrett
Princeton University Press (2014)
Pehmeäkantinen kirja
66,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Theorem Proving - After 25 Years
124,20 €
MP-AMM American Mathematical
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1984, 30.12.1984 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Automated Theorem Proving - After 25 Years
Näytä kaikki tuotetiedot
ISBN:
9780821850275
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste