Artificial intelligence, automated reasoning, and symbolic computationJacques CalmetÉpuiséPrévenez-moi
Integrating symbolic mathematical computation and artificial intelligenceJacques CalmetÉpuiséPrévenez-moi
