A Machine Program for Theorem-Proving, Davis, Martin; Logemann, George; Loveland, Donald, Whole Healthy Group LLC

KIRJAUDU

ostoskori

avaa valikko

A Machine Program for Theorem-Proving

30,80 €

Whole Healthy Group LLC
Sivumäärä: 38 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2015, 09.09.2015 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Näytä kaikki tuotetiedot

ISBN:

9781342126283

Aihealue:

Sisäänkirjautuminen

Oma tili

Lisätietoja