Introduction to Deep Inference
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Cours
Année : 2019
Lutz Straßburger : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02390267
Soumis le : lundi 2 décembre 2019-23:47:08
Dernière modification le : jeudi 5 septembre 2024-13:38:03
Archivage à long terme le : mardi 3 mars 2020-20:08:09
Dates et versions
Identifiants
- HAL Id : hal-02390267 , version 1
Citer
Andrea Aler Tubella, Lutz Strassburger. Introduction to Deep Inference. École thématique. Introduction to Deep Inference, Riga, Latvia. 2019. ⟨hal-02390267⟩
Collections
859
Consultations
1164
Téléchargements