Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
TBA
November 18, 2024
Julien Cervelle
(LACL)
TBA
Post navigation
Botascopia : décompiler les connaissances botaniques vers le grand public
Mathématiques à rebours et théorèmes de type Ramsey
