SULJE VALIKKO
KIRJAUDU
| Sat2000 186,50 € IOS Press Sivumäärä: 568 sivua Asu: Kovakantinen kirja Julkaisuvuosi: 2000, 01.01.2000 (lisätietoa) Kieli: Englanti Tuotesarja: Frontiers in Artificial Intelligence and Applications The book is devoted to various disciplines in satisfiability research and aims to give the reader an impression of the state of the art of this research in the year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications and extensions beyond propositional SAT. 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 tuotetiedotISBN: 9781586030612 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |