Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Jasmin Blanchette (Redaktør) Laura Kovács (Redaktør) Dirk Pattinson (Redaktør)

Gi vurdering

635,-

Paperback

Sendes innen 21 dager

Detaljer Oppdag mer

Detaljer

Forlag: Springer International Publishing AG
Innbinding: Paperback
Språk: Engelsk
Sider: 756
ISBN: 9783031107689
Utgivelsesår: 2022
Format: 24 x 16 cm

Kunders vurdering

Oppdag mer

Bøker som ligner på Automated Reasoning:

Metaheuristic Algorithms

Ny!

Metaheuristic Algorithms

Gai-Ge Wang

Innbundet

1088,-

Artificial Intelligence. ECAI 2023 International Workshops

Ny!

Artificial Intelligence. ECAI 2023 International Workshops

Sławomir Nowaczyk

Paperback

1813,-

Explainable Artificial Intelligence and Process Mining Applications for Healthcare

Ny!

Explainable Artificial Intelligence and Process Mining Applications for Healthcare

Jose M. Juarez

Paperback

998,-

Intelligent Software Defect Prediction

Ny!

Intelligent Software Defect Prediction

Xiao-Yuan Jing

Innbundet

2538,-