HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo) - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2002

HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo)

C. Areces , J. Heguiabehere
C. Areces
  • Fonction : Auteur
J. Heguiabehere
  • Fonction : Auteur

Areces Carlos  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00000323

Soumis le : vendredi 23 septembre 2005-17:23:28

Dernière modification le : vendredi 23 septembre 2005-17:23:28

Fichier non déposé

Dates et versions

inria-00000323 , version 1 (23-09-2005)

Identifiants

  • HAL Id : inria-00000323 , version 1

Citer

C. Areces, J. Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo). Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial Intelligence, 2002, Leuven, Belgium. ⟨inria-00000323⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
6 Consultations
0 Téléchargements

Partager

More