[IEEE Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) - Qingdao, China (2007.07.30-2007.08.1)] Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) - OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving
Wang, Shuaiqiang, Wan, Jiancheng, Hou, JinkuiYear:
2007
Language:
english
DOI:
10.1109/snpd.2007.253
File:
PDF, 319 KB
english, 2007