Show Menu
Hide Menu
Laboratório de Ciência da Computação
Opinião do orientador
Organograma
Organisation
Orientadores
Serviços Administrativos
IT Service
Conselho
Conselho do Laboratório
Conselho
Teaching
Scientific Mediation
Our charters and commitments
Como vir ao LIP6
Pesquisa
Axes & Teams
Publicações
Projetos
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Relatório Anual
Avaliação
Our skills
Work with us
Software
Patentes
Start-ups
Anuário
colóquio
🔒
📫
🇵🇹
🇫🇷
🇬🇧
🇵🇹
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
Anuário
DUBOIS Olivier
Habilitação (Livre Docência) -
SYSDEF
Problèmes de Satisfaisabilité : phénomènes de seuil, résolution algorithme, applications
Defesas
: 10/09/2003