SULJE VALIKKO
KIRJAUDU
Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ
AVTOMATIZIROVANNOJE POSTROJENIJE MATEMATITSESKIH TEORIJ | ||
| Avtomatizirovannoje postrojenije matematitseskih teorij 12,70 € Izutsajetsja vozmoznost avtomatizirovannogo postrojenija matematitseskih teori. Rassmatrivajetsja deduktivnaja sistema, osnovannaja na jazyke logiki predikatov pervogo porjadka. Objektami sistemy javljajutsja matematitseskije vyrazenija ili formuly, kotorye opisyvajut... Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9785354010059 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |