完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.author | 陳正佳 | |
| dc.date.accessioned | 2009-08-23T04:45:13Z | |
| dc.date.accessioned | 2020-05-29T06:12:44Z | - |
| dc.date.available | 2009-08-23T04:45:13Z | |
| dc.date.available | 2020-05-29T06:12:44Z | - |
| dc.date.issued | 2006-10-25T02:51:54Z | |
| dc.date.submitted | 1997-12-22 | |
| dc.identifier.uri | http://dspace.fcu.edu.tw/handle/2377/2461 | - |
| dc.description.abstract | 本文主要是在發展可用於推論可復原式程式行為的動態邏輯系統．傳統命題式動態邏輯的語意架構並無法定義可復原式程式的語意，在本文中我們擴展了其語意架構使其足以定義可復原式程式的語意．此外，我們為可復原式程式發展了二套推論系統，證明其正確性與完備性．最後我們還證明兩系統下的可適性問題均屬EXPTIME-complete． | |
| dc.description.sponsorship | 東海大學, 台中市 | |
| dc.format.extent | 6p. | |
| dc.format.extent | 584334 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | zh_TW | |
| dc.relation.ispartofseries | 1997 NCS會議 | |
| dc.subject | 命題式動態邏輯 | |
| dc.subject | 可復原式程式 | |
| dc.subject | 推論系統 | |
| dc.subject | 可適性問題 | |
| dc.subject | EXPTIME-complete | |
| dc.subject.other | 人工智慧 | |
| dc.title | 可復原式程式的邏輯 | |
| dc.title.alternative | The Logic of Undoable Programs | |
| 分類: | 1997年 NCS 全國計算機會議 | |
文件中的檔案：
| 檔案 | 描述 | 大小 | 格式 | |
|---|---|---|---|---|
| ce07ncs0019970000019.pdf | 570.64 kB | Adobe PDF | 檢視/開啟 |
在 DSpace 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。