Skip to Main content Skip to Navigation
Lectures

Kit de survie - Logique

François Schwarzentruber 1 
1 LogicA - Logic and Applications
ENS Cachan - École normale supérieure - Cachan, UR1 - Université de Rennes 1, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Lectures
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download
https://cel.archives-ouvertes.fr/cel-01995410
Contributor : François Schwarzentruber Connect in order to contact the contributor
Submitted on : Saturday, January 26, 2019 - 6:12:14 PM
Last modification on : Wednesday, November 3, 2021 - 6:04:08 AM
Long-term archiving on: : Saturday, April 27, 2019 - 12:59:01 PM

File

Vignette du document
logique_agreg.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cel-01995410, version 1

Collections

INSTITUT-TELECOM | UNIV-RENNES1 | CNRS | INRIA | ENS-CACHAN | INSA-RENNES | IRISA | INSMI | ENS-RENNES | CENTRALESUPELEC | IRISA-D4 | UR1-MATH-STIC | UNIV-PARIS-SACLAY | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM | ENS-PARIS-SACLAY

Citation

François Schwarzentruber. Kit de survie - Logique. Master. France. 2019, pp.1-72. ⟨cel-01995410⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

263

Files downloads

2220