ScholarWorks@Hanyang University ERICA Campus

상세 보기

Theorem Prover Approach to Semistructured Data Design

제목
Theorem Prover Approach to Semistructured Data Design
저자
Scott Uk-Jin Lee
발행일
2012-01-17
학회명
The 7th ROSAEC Center Workshop
개최지
홍콩과학기술대학교(HKUST), 홍콩

ScholarWorks@Hanyang University ERICA Campus

(15588) 경기도 안산시 상록구 한양대학로 55 Tel. +82-31-400-4269

COPYRIGHT © Hanyang University ERICA Campus All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.