臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

关于TAIR
	计画说明

"項潔"的相关文件

回到依作者浏览
依题名排序	依日期排序

显示项目 151-160 / 219 (共22页)
<< < 11 12 13 14 15 16 17 18 19 20 > >>
每页显示[10|25|50]项目

机构	日期	题名	作者
國立臺灣大學	1998	布爾環的理論與應用研究(I)	項潔
國立臺灣大學	1998	助理型軟體系統之研製與應用2/3(總計畫)	項潔
國立臺灣大學	1998	臺灣史料數位化－臺大電子圖書館與博物館計畫	項潔
國立臺灣大學	1998	臺灣史料數位化的一些挑戰	項潔
國立臺灣大學	1997	助理型軟體系統之研製與應用─子計劃四：助理型軟體環境中架構及語言的研發（Ⅰ）	項潔
國立臺灣大學	1997	台灣大學電腦系統技術研發重點中心	項潔
國立臺灣大學	1997	定理證明之策略分析的理論基礎	項潔
國立臺灣大學	1997	助理型軟體系統之研製與應用─總計畫(Ⅰ)	項潔
國立臺灣大學	1996	用０階邏輯中之推論方法解決數學問題	項潔
國立臺灣大學	1996	自動推理系統環境II─自動推理系統環境：子計畫(一)邏輯推理系統之完備性及有效性之探討	項潔

显示项目 151-160 / 219 (共22页)
<< < 11 12 13 14 15 16 17 18 19 20 > >>
每页显示[10|25|50]项目

	English \| 正體中文 \| 简体中文 \| 总笔数 :0
	造访人次 : 51322354 在线人数 : 672 教育部委托研究计画计画执行:国立台湾大学图书馆