KAPPA─II一種高階邏輯式和函數式的軟體陳述語言

碩士 === 國立成功大學 === 電機工程研究所 === 77 ===

Bibliographic Details
Main Authors:	CHEN, CHANG=LUN, 陳昌倫
Other Authors:	KONG, LING-YANG
Format:	Others
Language:	zh-TW
Published:	1989
Online Access:	http://ndltd.ncl.edu.tw/handle/98540830717197215027

id	ndltd-TW-077NCKU2442016
record_format	oai_dc
spelling	ndltd-TW-077NCKU24420162016-07-29T04:13:07Z http://ndltd.ncl.edu.tw/handle/98540830717197215027 KAPPA─II一種高階邏輯式和函數式的軟體陳述語言 KAPPA─II一種高階邏輯式和函數式的軟體陳述語言 CHEN, CHANG=LUN 陳昌倫碩士國立成功大學電機工程研究所 77 KONG, LING-YANG 孔令洋 1989 學位論文 ; thesis 0 zh-TW
collection	NDLTD
language	zh-TW
format	Others
sources	NDLTD
description	碩士 === 國立成功大學 === 電機工程研究所 === 77 ===
author2	KONG, LING-YANG
author_facet	KONG, LING-YANG CHEN, CHANG=LUN 陳昌倫
author	CHEN, CHANG=LUN 陳昌倫
spellingShingle	CHEN, CHANG=LUN 陳昌倫 KAPPA─II一種高階邏輯式和函數式的軟體陳述語言
author_sort	CHEN, CHANG=LUN
title	KAPPA─II一種高階邏輯式和函數式的軟體陳述語言
title_short	KAPPA─II一種高階邏輯式和函數式的軟體陳述語言
title_full	KAPPA─II一種高階邏輯式和函數式的軟體陳述語言
title_fullStr	KAPPA─II一種高階邏輯式和函數式的軟體陳述語言
title_full_unstemmed	KAPPA─II一種高階邏輯式和函數式的軟體陳述語言
title_sort	kappa─ii一種高階邏輯式和函數式的軟體陳述語言
publishDate	1989
url	http://ndltd.ncl.edu.tw/handle/98540830717197215027
work_keys_str_mv	AT chenchanglun kappaiiyīzhǒnggāojiēluójíshìhéhánshùshìderuǎntǐchénshùyǔyán AT chénchānglún kappaiiyīzhǒnggāojiēluójíshìhéhánshùshìderuǎntǐchénshùyǔyán
_version_	1718365632690388992

KAPPA─II一種高階邏輯式和函數式的軟體陳述語言

Similar Items