Symbiose Project Team

C Belleannée, J Nicolas and R Vorch (1999), "Vers un demonstrateur adaptatif", La preuve à la lumière de l'intelligence artificielle.