文献

J-GLOBAL ID：200902017786954381   整理番号：89A0252330

新しいプログラミング・パラダイム XV 様相論理とテンポラル・プログラミング

A new programming paradigm. 15. Modal logic and temporal programming.

著者 (1件)： 桜川貴司 (京大 数理解析研)
資料名： BIT (Tokyo)  (BIT (Tokyo))
巻： 21  号： 1  ページ： 69-77  発行年： 1989年01月 
JST資料番号： G0873A  ISSN： 0385-6984  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 様相論法と時間論理の,プログラミング言語との関係について述べ...

シソーラス用語： プログラミング言語 ,...
準シソーラス用語： 時制論理 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0252330&from=J-GLOBAL&jstjournalNo=G0873A") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： プログラミング ,  パラダイム ,  様相論理 ,  テンポラル