SULJE VALIKKO
KIRJAUDU
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION : 33RD INTERNATIONAL SYMPOSIUM, LOPSTR 2023, CASCAIS, PORTUGAL, OCTOBER 23-24, | ||
| Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 49,60 € Springer Sivumäärä: 211 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2023, 16.10.2023 (lisätietoa) Kieli: Englanti This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783031457838 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |