Reasoning about Solids Using Constraint Logic Programming

 

fichier pdf

lien publication

Année de publication : 1999

Référence bibliographique:
G. PESANT, M. BOYER. Reasoning about Solids Using Constraint Logic Programming. J. Autom. Reasoning 22: 241-262.

Résumé:

Bibtex: 

@article{DBLP:journals/jar/PesantB99,
  author    = {Gilles Pesant and
               Michel Boyer},
  title     = {Reasoning about Solids Using Constraint Logic Programming},
  journal   = {J. Autom. Reasoning},
  volume    = {22},
  number    = {2},
  year      = {1999},
  pages     = {241-262},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 

 

Membre(s) (co)auteur(s) de la publication

| Gilles Pesant |

 

Projet(s) lié(s) à la publication

 

Fichier(s) lié(s) à la publication