Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
This title belongs to the subseries: Lecture Notes in Artificial Intelligence
Book titles in this series
-
-
Artificial Intelligence and Image Analysis
18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8–10, 2024, Revised Selected Papers
-
Combinatorial Optimization
8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22–24, 2024, Proceedings
-
Unconventional Computation and Natural Computation
21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings
-
Code and Conscience. Exploring Technology, Human Rights, and Ethics in Multidisciplinary AI Education
This title belongs to the subseries: Lecture Notes in Artificial Intelligence
-
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
15th International Conference, DHM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part I
-
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
15th International Conference, DHM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part II
-
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
15th International Conference, DHM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part III
-
The Semantic Web
21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II
-
The Semantic Web
21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part I
