跳到主要內容
    年度84
    論文名稱An Application of Normal Deduction Graphs to Integrity Constraint Checking in Deductive Databases
    會議名稱中華民國八十四年全國計算機會議論文集第一冊 = Proceedings of National Computer Symposium 1995 Republic of China,桃園,頁1-9
    會議開始時間1995-12-22
    全部作者洪文斌; Horng, Wen-bing; 楊超植; Ynag, Chao-chih
    備註會議論文