![](/img/cover-not-exists.png)
[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - ConProve: A conceptual prover system
Elloumi, Samir, Jaoua, Ali, Boulifa, Bilel, Saleh, Mohammad, Otaibi, Jameela AlYear:
2014
Language:
english
DOI:
10.1109/aiccsa.2014.7073260
File:
PDF, 848 KB
english, 2014