Ragionamento per Vincoli Quantificati - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Ragionamento per Vincoli Quantificati

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

hal-00466746 , version 1 (24-03-2010)

Identifiants

  • HAL Id : hal-00466746 , version 1

Citer

Marco Benedetti. Ragionamento per Vincoli Quantificati. Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 06), 2006, Italy. pp._. ⟨hal-00466746⟩
37 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More