earticle

논문검색

정보과학회지

간행물 정보

Vol.15 No.1 (9건)

Standard ML 프로그래밍

이광근, 류석영

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.5-10

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

프로그래밍언어에서의 타입 시스템의 역할

이욱세, 편기현, 이광근

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.11-15

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

타입 시스템에 의한 체계적인 복합형 프로그래밍

도경구, 곽노건

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.16-20

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

Rewriting 기반 프로그래밍

변석우

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.21-28

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

제한 논리 프로그래밍언어

신동하, 창병모

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.29-36

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

다중 패러다임 프로그래밍과 Leda 언어

김명호

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.37-44

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

우연일수 없는 사건- 정보과학회의 탄생

한상준

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.45-47

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

정보통신 기술의 미래

정진욱

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.15 No.1 1997 pp.52-55

원문보기

협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

All issues