Automated Deduction - CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Livre Ecrit par: Sutcliffe, Geoff ; Platzer, André ; Publié en: 2021
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
ISBN: 9783030798765
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:
Mathematical logic
Computer logic
Artificial intelligence
Software engineering
Computer sciences
Machine theory
