Showing 1 - 3 results of 3 for search 'Fontaine P', query time: 0.02s
Refine Results
-
1
The multinational second Diabetes, Attitudes, Wishes and Needs study: results of the French survey by Reach G, Consoli SM, Halimi S, Colas C, Duclos M, Fontaine P, Martineau C, Avril C, Tourette-Turgis C, Pucheu S, Brunet O
Published 2015-02-01
Article -
2
Satisfiability checking meets symbolic computation by Abraham, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T
Published 2016Conference item -
3
SC2: Satisfiability checking meets symbolic computation by Ábrahám, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T
Published 2016Conference item