Communication Dans Un Congrès
Année : 2006
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00466751
Soumis le : mercredi 24 mars 2010-16:51:42
Dernière modification le : mardi 12 août 2025-15:30:07
Dates et versions
Identifiants
- HAL Id : hal-00466751 , version 1
Citer
Marco Benedetti. Abstract Branching for Quantified Formulas. Proc. of 21st National Conference on Artificial Intelligence (AAAI06), 2006, United States. pp.1-6. ⟨hal-00466751⟩
Collections
83
Consultations
0
Téléchargements