Automated Theorem Proving - After 25 Years, W. W Bledsoe; Donald W. Loveland, MP-AMM American Mathematical | Akateeminen Kirjakauppa

SULJE VALIKKO

avaa valikko

Automated Theorem Proving - After 25 Years

W. W Bledsoe, Donald W. Loveland

124,20 €

MP-AMM American Mathematical
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1984, 30.12.1984 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

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

Aihealue:

Ulkomaiset kirjat » Mathematics » History & Philosophy

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Lisätietoja

Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste

Tietosuojaseloste