Search
E-mail
RSS

Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
First-order Predicate Logic Proposition Proved by Using Predicate/ Transition Net
FANG Huan; YIN Yulan; XU Yuyin
Computer Engineering . 2006, (23): 191 -192, .  DOI: 10.3969/j.issn.1000-3428.2006.23.068

copyright@Editorial Department of Computer Engineering
Address：No. 63, Chengliu Road, Shanghai, 201808
Tel: 021-67092217　
E-mail：ecice06@ecict.com.cn
Powered by Beijing Magtech Co. Ltd,.