ConProve: A conceptual prover system.

Samir Elloumi, Ali Jaoua, Bilel Boulifa, Mohammad Saleh, Jameela Al Otaibi

Browse the full AICCSA paper archive.