Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Guy Boulaye
Guy Boulaye
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Résolution dans les systèmes formels abstraits : applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles.
Prototypage de logiciels avec le langage PROLOG : méthode et outils