Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- J. Calmet, T. Ida, D. Wang : “Artificial Intelligence and Symbolic Computation”, vol. 4120, Lectures Notes in Artificial Intelligence, (Springer-Verlag), (ISBN: 978-3-540-39728-1) [Calmet 2006]
- H. Hong, D. Wang : “Automated Deduction in Geometry”, vol. 3763, Lecture Notes in Artificial Intelligence, (Springer-Verlag) [Hong 2006a]