|권기항 교수 연구실
홈
연구 영역
기본 정보
논문·특허
과제
구성원
Fifth International Conference on Software Engineering Research, Management and Applications
An Internet Query Language based on Intuitionistic Linear Logic
구분
국외
국가
미국
컨퍼런스명
Fifth International Conference on Software Engineering Research, Management and Applications
발표 제목
An Internet Query Language based on Intuitionistic Linear Logic
기관명
IEEE
참여 연도
2007
상세 설명
IEEE