Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Paul Jacquet

Paul Jacquet

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Formalisation de spécifications de logiciels : traitement d'annotations en langue naturelle contrôlée
La généralisation : un outil pour la réutilisation
Synthèse de programmes : connaissances et déduction dans les domaines d'application
Preuves et stratégies pour la synthèse déductive de programmes