Communication Dans Un Congrès
Année : 1999
Pascal Urso : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00463829
Soumis le : lundi 15 mars 2010-11:46:15
Dernière modification le : lundi 26 février 2024-11:22:07
Citer
Pascal Urso, Emmanuel Kounalis. Mechanizing Proofs of Integrity Constraints in the Situation Calculus. 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Jun 1999, Cairo, Egypt. pp.372-382, ⟨10.1007/b72302⟩. ⟨hal-00463829⟩
Collections
65
Consultations
0
Téléchargements