Agents and Artificial Intelligence: 16th International Conference, Icaart 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
暫譯: 代理與人工智慧：第十六屆國際會議 ICAART 2024，義大利羅馬，2024年2月24-26日，修訂選定論文，第二部分

Name: Agents and Artificial Intelligence: 16th International Conference, Icaart 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
Price: 2964 TWD
Availability: OnlineOnly
Author: Rocha, Ana Paula, Steels, Luc, Van Den Herik, Jaap
ISBN: 3031873297

Rocha, Ana Paula, Steels, Luc, Van Den Herik, Jaap

Agents and Artificial Intelligence: 16th International Conference, Icaart 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

出版商: Springer
出版日期: 2025-04-29
售價: $3,120
貴賓價: 9.5 折 $2,964
語言: 英文
頁數: 344
裝訂: Quality Paper - also called trade paper
ISBN: 3031873297
ISBN-13: 9783031873294
相關分類: 人工智慧

海外代購書籍(需單獨結帳)

商品描述

This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.

The 24 full papers and 13 short papers included in this book were carefully reviewed and selected from 375 submissions. They cover all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

商品描述(中文翻譯)

這兩卷的 LNCS 作品集是第 16 屆國際會議 ICAART 2024 的經過審核的會後論文，會議於 2024 年 2 月在義大利羅馬舉行。這本書中包含的 24 篇完整論文和 13 篇短文是從 375 篇投稿中仔細審核和選出的。這些論文涵蓋了形式方法的各個方面，並強調促進其在工業應用中的應用，並將其與實際工程實踐相結合。