![Akateeminen Kirjakauppa](/images/index/logo-1195.jpg)
SULJE VALIKKO
KIRJAUDU
| AUTOMATION OF LOGIC 94,50 € Taylor & Francis Ltd Sivumäärä: 400 sivua Asu: Kovakantinen kirja Painos: 1 Julkaisuvuosi: 2021, 31.12.2023 (lisätietoa) Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors. 31.12.2023 Kustantajan ilmoittama saatavuuspäivä on ylittynyt, selvitämme saatavuutta. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme. Seuraa saatavuutta.
Myymäläsaatavuus
![]() ![]() ![]() ![]() Näytä kaikki tuotetiedotISBN: 9781439875353 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |