Conference Papers
Year : 2006
Yannick Parmentier : Connect in order to contact the contributor
https://hal.science/hal-00466746
Submitted on : Wednesday, March 24, 2010-4:47:58 PM
Last modification on : Saturday, June 25, 2022-10:11:19 AM
Dates and versions
Identifiers
- HAL Id : hal-00466746 , version 1
Cite
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⟩
Collections
37
View
0
Download