Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Livre Ecrit par: Kovács, Laura ; Pattinson, Dirk ; Blanchette, Jasmin ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031107696
Index décimal
006.3 .Intelligence artificielle (ouvrages généraux sur l'intelligence artificielle et la science cognitive, reconnaissance de formes comme outil de l'intelligence artificielle, systèmes de questions et réponses)
Thème
Informatique
Mots clés:
Artificial intelligence
automata theory
computer hardware
Computer networks
computer programming
Computer systems
embedded systems
logic programming
formal languages
theoretical computer science