Generalization Discovery for Proofs by Induction in Conditional Theories - Archive ouverte HAL
Communication Dans Un Congrès Année : 1999

Generalization Discovery for Proofs by Induction in Conditional Theories

Domaines

Algorithme et structure de données [cs.DS]

Pascal Urso  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00463826

Soumis le : lundi 15 mars 2010-11:42:50

Dernière modification le : lundi 26 février 2024-11:22:07

Fichier non déposé

Dates et versions

hal-00463826 , version 1 (15-03-2010)

Identifiants

  • HAL Id : hal-00463826 , version 1

Citer

Pascal Urso, Emmanuel Kounalis. Generalization Discovery for Proofs by Induction in Conditional Theories. Twelfth International Florida Artificial Intelligence Research Society Conference - FLAIRS99, 1999, Orlando, United States. pp.250-256. ⟨hal-00463826⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S UNIV-COTEDAZUR
79 Consultations
0 Téléchargements

Partager

More