Informatique mathématique : une photographie en 2022

Informatique mathématique : une photographie en 2022

L Informatique Mathématique (IM) regroupe des thématiques relevant a priori de tous les domaines de l informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient mathématisables . Cet ouvrage réunit les cours proposés à l édition 2022 de l École des Jeunes Chercheuses et Cher...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Bournez, Olivier, Chetrite, Raphaël, 1981- (Συγγραφέας), Fijalkow, Nathanaël, 19..- (Συγγραφέας), Formenti, Enrico, 1968- (Συγγραφέας), Kaufmann, Emilie, 1987- (Συγγραφέας), Mattei, Pierre-Alexandre, 1989- (Συγγραφέας), Ollinger, Nicolas, 19..- (Συγγραφέας), Patras, Frédéric, 1967- (Συγγραφέας), Rifford, Ludovic, 1974- (Συγγραφέας), Romashchenko, Andrei Evgenjevich, 1975- (Συγγραφέας), Villata, Serena (Συγγραφέας)
Άλλοι συγγραφείς: Martin, Bruno, 19..-...., professeur d'informatique (Διευθυντής έκδοσης), Riva, Sara, 1995- (Διευθυντής έκδοσης)
Μορφή: Livre papier
Γλώσσα:Français
Έκδοση: [Paris] : CNRS Edition DL 2022.
Θέματα:
Logique symbolique et mathématique
Logique informatique
Actes de congrès
Σημείωση: Autres contributeurs : Enrico Formenti, Emilie Kaufmann, Pierre-Alexandre Mattei, Nicolas Ollinger, Frédéric Patras, Ludovic Rifford, Andrei Romashchenko, Serena Villata
Autres localisations: Voir dans le Sudoc

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια