• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
로그인 회원가입 About Us 이용안내
사이트맵
닫기

사이트맵

Loading..

Please wait....

검색 결과

컴퓨터연구정보센터::연구문헌
[ 자주찾는 논문 TOP 10 ]
  1. ·   
  2. ·   
  3. ·   
  4. ·   
  5. ·   
  6. ·   
  7. ·   
  8. ·   
  9. ·   
  10. ·   

실시간 검색어

검색어 "Hyungchul Park"에 대한 [연구문헌] 검색결과 입니다.


학술대회 프로시딩 (2) 더보기
  제목(Title) XML 역공학 시스템
저자(Author) 박형철   간정현   장태진   이주연   이태혁   권순각   Hyungchul Park   Jeonhyeon Gan   Taejin Jang   Juyeon Lee   Taehyuk Lee   Soonkak Kwon  
수록저널(Journal) 한국정보통신학회 제32회 2012년 추계종합학술대회
원문수록처(Citation) VOL 16 NO. 02 PP. 0692 ~ 0695 2012. 10
  제목(Title) 직관 양상논리 IS5를 위한 양방향 증명탐색 방법
저자(Author) 박형철   박성우   Hyungchul Park   Sungwoo Park  
수록저널(Journal) 한국정보과학회 2013년 제40회 추계학술발표회
원문수록처(Citation) VOL 40 NO. 02 PP. 1375 ~ 1377 2013. 11