Carla Limongelli - Böcker
Visar alla böcker från författaren Carla Limongelli. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 14318 - Lecture Notes in Computer Science
AIxIA 2023 – Advances in Artificial Intelligence
XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings
Häftad, Engelska, 2023
773 kr
Skickas inom 7-10 vardagar
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023. The 33 full papers included in this book were carefully reviewed and selected from 53 submissions.
Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons
Second Workshop, WAILS 2025, Cagliari, Italy, December 10–12, 2025, Proceedings
Häftad, Engelska, 2026
523 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed conference proceedings of the Second Workshop on Artificial Intelligence with and for Learning Sciences - Past, Present, and Future Horizons, WAILS 2025, held in Cagliari, Italy, during December 10-12, 2025.The 13 full papers and 10 short papers presented in this book were carefully reviewed and selected from 24 submissions. They reflect the methodological and thematic breadth of contemporary research, spanning creativity-oriented and multimodal learning environments powered by artificial intelligence, fairness-aware and trustworthy educational technologies, teacher training, digital literacy, learning analytics, and inclusive and accessible learning ecosystems, among others.
Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Häftad, Engelska, 1996
554 kr
Skickas inom 10-15 vardagar
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.