Login
Language: English  |  中文 
 
 
 

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

Browsing by Subject generalized odd-superpositions Ⅱ


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)
1996-12On first-order theorem proving using generalized odd-superpositions ⅡDepartment of Mathematics; Peking University; Institute of Systems Science; Chinese Academy of Sciences; 吴尽昭; 刘卓军
Showing results 1 to 1 of 1

Number of Online Users: 935     Total of Site Visit: 5866515