Login
Language: English  |  中文 
 
 
 

广西民族大学机构知识库 >

Browsing by Author JinZhao Wu


Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中文
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2000On theorem proving in annotated logicsDepartment of Electrical Engineering Texas A&M University, College Station ,TX 77843,USA; Department of Electrical Engineering Texas A&M University, College Station ,TX 77843,USA and School of Mathematical Sciences Peking University,Beijing,100871,China; Mi Lu; JinZhao Wu
Showing results 1 to 1 of 1

Number of Online Users: 115     Total of Site Visit: 3505164