Agents and Artificial Intelligence: 16th International Conference, Icaart 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I
暫譯: 代理與人工智慧：第十六屆國際會議，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 I
Price: 4560 TWD
Availability: OnlineOnly
Author: Rocha, Ana Paula, Steels, Luc, Van Den Herik, Jaap
ISBN: 3031873262

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 I

出版商: Springer
出版日期: 2025-04-26
售價: $4,800
貴賓價: 9.5 折 $4,560
語言: 英文
頁數: 442
裝訂: Quality Paper - also called trade paper
ISBN: 3031873262
ISBN-13: 9783031873263
相關分類: 人工智慧

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

商品描述

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 篇投稿。它們涵蓋了形式方法的各個方面，並強調促進其在工業應用中的應用，並將其與實際工程實踐相結合。