Mechanizing Mathematical Reasoning

DOI10.1007/B106663MaRDI QIDQ5717461zbMATH OpenOpenAlexFDO

Authors Klaus G. Fischer

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 1773067
• Computational Science – ICCS 2005
• Self-organisation and emergence in MAS: an overview
• Self-organization and multiagent systems. I: Models of multiagent self-organization
• Agents and Computational Autonomy

Cited in

(20)

• Collaborative computation in self-organizing particle systems
• Self-organization and multiagent systems. I: Models of multiagent self-organization
• Self-organization and multiagent systems. II: Applications and the development technology
• scientific article; zbMATH DE number 1614647 (Why is no real title available?)
• Invisible control of self-organizing agents leaving unknown environments
• Self-organisation and emergence in MAS: an overview
• From P Colonies to 2D P Colonies and Simulations of Multiagent Systems
• scientific article; zbMATH DE number 1329886 (Why is no real title available?)
• scientific article; zbMATH DE number 1951083 (Why is no real title available?)
• scientific article; zbMATH DE number 1977938 (Why is no real title available?)
• scientific article; zbMATH DE number 1738674 (Why is no real title available?)
• scientific article; zbMATH DE number 1773054 (Why is no real title available?)
• scientific article; zbMATH DE number 1773067 (Why is no real title available?)
• scientific article; zbMATH DE number 1927240 (Why is no real title available?)
• scientific article; zbMATH DE number 2087369 (Why is no real title available?)
• Coordination and reorganization in multi-agents systems. II.
• Computational Science – ICCS 2005
• Engineering Self-Organising Systems
• Engineering Self-Organising Systems
• Agents and Computational Autonomy

This page was built for publication: Mechanizing Mathematical Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717461)