Manuel V. Hermenegildo – författare
Visar alla böcker från författaren Manuel V. Hermenegildo. Handla med fri frakt och snabb leverans.
6 produkter
Prolog: The Next 50 Years
Av David S. Warren, Veronica Dahl m. fl.
Häftad, 2023
960 kr
Lägg i varukorg
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and …
Prolog: The Next 50 Years
Av Francesca Rossi, Robert Kowalski m. fl.
E-bok, 2023
1224 kr
Lägg i varukorg
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and …
Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
Av Manuel V. Hermenegildo, José F. Morales
Häftad, 2023
926 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a …
Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
Av Jose F. Morales, Manuel V. Hermenegildo
E-bok, 2023
1150 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a …
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Av Manuel V Hermenegildo, Pedro Lopez-Garcia
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited …
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Av Pedro Lopez-Garcia, Manuel V Hermenegildo
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited …
