A Discovery Support System Based in Interactive Asynchronous Reasoning

Type de document :
Communication dans un congrès
LAPTEC: Logic Applied to Technology, Nov 2003, Marília - SP, Brazil. 4th Congress of Logic Applied to Technology, 2003
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269686
Contributeur : Christine Carvalho de Matos <>
Soumis le : jeudi 3 avril 2008 - 08:22:15
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Identifiants

  • HAL Id : lirmm-00269686, version 1

Collections

Citation

Lidiana Martins, Edilson Ferneda, Germana Da Nóbrega, Jean Sallantin. A Discovery Support System Based in Interactive Asynchronous Reasoning. LAPTEC: Logic Applied to Technology, Nov 2003, Marília - SP, Brazil. 4th Congress of Logic Applied to Technology, 2003. 〈lirmm-00269686〉

Partager

Métriques

Consultations de la notice

81