Mathematical Reasoning: The History and Impact of the DReaM Group More Books Like This
Software Engineering and Formal Methods
2020
History and Philosophy of Computing
2016
Formal Methods. FM 2019 International Workshops
2020
Formal Methods: State of the Art and New Directions
2009
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
2023
The Constitution of Algorithms
2021
New Frontiers in Artificial Intelligence
2017
Explainable and Transparent AI and Multi-Agent Systems
2021
Explainable and Transparent AI and Multi-Agent Systems
2022
AI*IA 2019 – Advances in Artificial Intelligence
2019
Artificial General Intelligence
2023
Artificial Intelligence
2020
KI 2016: Advances in Artificial Intelligence
2016
KI 2019: Advances in Artificial Intelligence
2019
Artificial General Intelligence
2022