함수언어의 수행성 향상을 위한 확장된 리덕션 시스템 =

Title
함수언어의 수행성 향상을 위한 확장된 리덕션 시스템 =
Authors
김상도
Keywords
함수언어
Issue Date
1995
Publisher
인하대학교
URI
http://dspace.inha.ac.kr/handle/10505/15341
Appears in Collections:
College of Natural Science(자연과학대학) > Mathematics (수학) > Theses(수학 석박사 학위논문)
Files in This Item:
15629.pdfDownload

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse