Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
图书标签:
喜欢 Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 的读者还喜欢
点击这里下载
发表于2024-11-10
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 pdf epub mobi txt 电子书 下载 2024
图书描述
在线阅读本书
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.
length: (cm)23.3 width:(cm)15.4
著者简介
图书目录
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 pdf epub mobi txt 电子书 下载
用户评价
读后感
评分
评分
评分
评分
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 pdf epub mobi txt 电子书 下载 2024
分享链接
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 pdf 电子书 下载链接
相关图书
-
Natural Language Processing and Information Systems pdf epub mobi txt 电子书 下载 -
Advances In Learning Classifier Systems学习分类器系统进展 pdf epub mobi txt 电子书 下载
-
Urban Transport pdf epub mobi txt 电子书 下载
-
Discovery Science pdf epub mobi txt 电子书 下载
-
Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, Fran pdf epub mobi txt 电子书 下载
-
Ubicomp 2001 pdf epub mobi txt 电子书 下载
-
Theoretical Aspects of Computer Software 工程安全与可靠性 pdf epub mobi txt 电子书 下载
-
Vagueness and Contradiction pdf epub mobi txt 电子书 下载
-
Consolidated Ada Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8 pdf epub mobi txt 电子书 下载
-
Functional Imaging and Modeling of the Heart pdf epub mobi txt 电子书 下载
-
Vagueness and Contradiction pdf epub mobi txt 电子书 下载
-
Machines, Computations, and Universality: Third International Conference, MCU 2001 Chisinau, Moldava pdf epub mobi txt 电子书 下载
-
Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December pdf epub mobi txt 电子书 下载
-
Valiant Young Men pdf epub mobi txt 电子书 下载
-
Valuing Professional Practice LL pdf epub mobi txt 电子书 下载
-
Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceeding pdf epub mobi txt 电子书 下载
-
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, A pdf epub mobi txt 电子书 下载
-
Advances in Cryptology - ASIACRYPT 2001-密码学进展 - ASIACRYPT 2001 pdf epub mobi txt 电子书 下载
-
Victorian Testaments pdf epub mobi txt 电子书 下载
-
Wavelet Analysis and Its Applications pdf epub mobi txt 电子书 下载
