Theoretical Computer Science: Computational Complexity - Archive ouverte HAL
Chapitre D'ouvrage Année : 2020

Theoretical Computer Science: Computational Complexity

Olivier Bournez
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Gilles Dowek
Deduction modulo, interopérabilité et démonstration automatique
Rémi Gilleron
Machine Learning in Information Networks
Serge Grigorieff
  • Fonction : Auteur
  • PersonId : 1081172
Institut de Recherche en Informatique Fondamentale
Jean-Yves Marion
Carbone
Simon Perdrix
Designing the Future of Computational Models
CV
S. Tison
Linking Dynamic Data

Domaines

Informatique [cs]

Sophie Tison  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02995771

Soumis le : lundi 9 novembre 2020-12:31:05

Dernière modification le : mercredi 20 novembre 2024-15:28:02

Fichier non déposé

Dates et versions

hal-02995771 , version 1 (09-11-2020)

Identifiants

  • HAL Id : hal-02995771 , version 1

Citer

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, et al.. Theoretical Computer Science: Computational Complexity. A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020. ⟨hal-02995771⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA ENS-CACHAN LIX X-LIX X-DEP-INFO CRISTAL UNIV-LORRAINE INRIA2 CRISTAL-MAGNET CRISTAL-LINKS LORIA LORIA-FM UNIV-PARIS-SACLAY UNIV-LILLE IP_PARIS UP-SCIENCES ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE IRIF
155 Consultations
0 Téléchargements

Partager

More