KIRJAUDU
Formal Methods in Artificial Intelligence
124,00 €
Cambridge University Press
Sivumäärä: 296 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1988, 10.11.1988 (lisätietoa)
Kieli: Englanti
Sivumäärä: 296 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1988, 10.11.1988 (lisätietoa)
Kieli: Englanti
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9780521352369
Aihealue:
|
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |