Franova, Marta, 1958-....
VIAF ID: 2568711 ( Personal )
Permalink: http://viaf.org/viaf/2568711
Preferred Forms
Works
Title | Sources |
---|---|
Constructive matching methodology and automatic plan-construction revisited | |
Créativité formelle méthode et pratique conception des systèmes "informatiques" complexes et brevet épistémologique | |
Explanations provided by constructive matching in inductive theorem proving | |
Precomas challenge | |
Precomas userś guide | |
Principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles CM-construction des formules atomiques | |
Program synthesis, what for ? | |
Synthesis of formal specifications of predicates | |
Why are we (almost always) able to prove inductive theorems "by hand" and how to obtain an automatic system that does it the same way : introduction to inductive theorem proving for postgraduate students |