A specification processing environment for making well engineered logic programs
學年 80
學期 1
發表日期 1992-01-01
作品名稱 A specification processing environment for making well engineered logic programs
作品名稱(其他語言)
著者 施國琛 = Shih, Timothy K.
作品所屬單位 淡江大學資訊工程學系
出版者
會議名稱
會議地點
摘要
關鍵字
語言 en
收錄於
會議性質
校內研討會地點
研討會時間
通訊作者
國別
公開徵稿
出版型式
出處 Proceeding of the second golden west international conference, Reno,USA
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/73401 )

機構典藏連結