Automated Reasoning
Résumé
Proceedings of IJCAR 2004.
Communication Dans Un Congrès
Année : 2004
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099991
Soumis le : mardi 26 septembre 2006-10:13:14
Dernière modification le : jeudi 1 février 2024-10:04:40
Dates et versions
Identifiants
- HAL Id : inria-00099991 , version 1
Citer
David Basin, Michaël Rusinowitch. Automated Reasoning. Second International Joint Conference on Automated Reasoning - IJCAR'2004, 2004, Cork, Irlande, France. XII-491 p. ⟨inria-00099991⟩
Collections
73
Consultations
0
Téléchargements