Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Th. Hardin, R. Rioboo : “CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy”, CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning n°lip6.2003.010, Rome, Italy, (LIP6) [Hardin 2003]