기본 정보
이름: Pual Shuo
소속 기관: TianJinUniversity
가입일: 2021-08-06
점수: 25
소속 기관: TianJinUniversity
가입일: 2021-08-06
점수: 25
연구 관심 프로필
시스템 자동 생성
자주 조회하는 학회·저널로는 CADE, IJCAR, HSCC, CONCUR, SAT 등이 있습니다.
이력서
팔로우한 학회
모두 1 개
| CCF | ICORE | 약칭 | 정식 명칭 | 투고 마감 | 통보일 | 개최일 |
|---|---|---|---|---|---|---|
| B | A | CADE | International Conference on Automated Deduction | 2017-02-11 | 2017-04-22 | 2017-08-06 |
팔로우한 저널
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
결과가 없습니다. | ||||
팔로우한 연구자
| 이름 | 소속 기관 | 가입일 | 점수 |
|---|---|---|---|
결과가 없습니다. | |||