[IEEE 2014 IEEE/ACS 11th International Conference on...

  • Main
  • [IEEE 2014 IEEE/ACS 11th International...

[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 Al
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2014
Language:
english
DOI:
10.1109/aiccsa.2014.7073260
File:
PDF, 848 KB
english, 2014
Conversion to is in progress
Conversion to is failed