Ban3

Informations sur l'auteur

Laurent Trilling

http://pistou.imag.fr/site/author/1614

  
 

Publications de l'auteur

La liste contient 4 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
1999
1
Denis Bouhineau, Laurent Trilling, Johanne Cohen.
An Application of CLP: Checking the Correctness of Theorems in Geometry.
Constraints, 4(4):383--405, 1999.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2003
2
Nicolas Thierry-Mieg, Laurent Trilling, Jean-Louis Roch.
A novel pooling design for protein-protein interaction mapping.
ECCB'2003 European Conference on Computational Biology, Paris, France, sep 2003.
Pdf-128x128 Www-128x128
bibtex/ html
1996
3
Denis Bouhineau, St'ephane Channac, Laurent Trilling.
Sphinx : un préceptoriel de géométrie produisant des contre-exemples..
Third International Conference on Intelligent Tutoring Systems ITS'96, Montréal-Canada., 1996.
bibtex/ html
1993
4
R. Allen, Denis Bouhineau, Laurent Trilling.
Construction and manipulation of geometric figures.
fourth international workshop on Constraint and Logic Programming, WCLP'93, Marseille, mar 1993.
bibtex/ html