Communication Dans Un Congrès
Année : 2006
Yannick Parmentier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00466744
Soumis le : mercredi 24 mars 2010-16:45:34
Dernière modification le : samedi 25 juin 2022-10:11:19
Dates et versions
Identifiants
- HAL Id : hal-00466744 , version 1
Citer
Marco Benedetti. Abstract Branching for Quantified Formulas. Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 2006), 2006, Italy. pp._. ⟨hal-00466744⟩
Collections
35
Consultations
0
Téléchargements