About this scholarly article

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 by Wang, Shuaiqiang; Wan, Jiancheng; Hou, Jinkui is a scholarly article available to read on EtoBox.

Author

Wang, Shuaiqiang; Wan, Jiancheng; Hou, Jinkui

Publisher

IEEE

Published

2007