Theoretical Computer Science: Computational ...
Type de document :
Partie d'ouvrage
Titre :
Theoretical Computer Science: Computational Complexity
Auteur(s) :
Bournez, Olivier [Auteur]
Laboratoire d'informatique de l'École polytechnique [Palaiseau] [LIX]
Dowek, Gilles [Auteur]
Deduction modulo, interopérabilité et démonstration automatique [DEDUCTEAM]
Gilleron, Remi [Auteur]
Machine Learning in Information Networks [MAGNET]
Grigorieff, Serge [Auteur]
Institut de Recherche en Informatique Fondamentale [IRIF (UMR_8243)]
Marion, Jean-Yves [Auteur]
Carbone [CARBONE]
Perdrix, Simon [Auteur]
Designing the Future of Computational Models [MOCQUA]
TISON, SOPHIE [Auteur]
Linking Dynamic Data [LINKS]
Laboratoire d'informatique de l'École polytechnique [Palaiseau] [LIX]
Dowek, Gilles [Auteur]
Deduction modulo, interopérabilité et démonstration automatique [DEDUCTEAM]
Gilleron, Remi [Auteur]
Machine Learning in Information Networks [MAGNET]
Grigorieff, Serge [Auteur]
Institut de Recherche en Informatique Fondamentale [IRIF (UMR_8243)]
Marion, Jean-Yves [Auteur]
Carbone [CARBONE]
Perdrix, Simon [Auteur]
Designing the Future of Computational Models [MOCQUA]
TISON, SOPHIE [Auteur]
Linking Dynamic Data [LINKS]
Titre de l’ouvrage :
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8)
Éditeur :
Springer International Publishing
Lieu de publication :
Cham
Date de publication :
2020
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :