文献
J-GLOBAL ID：201002056232494679   整理番号：79A0218193

構造的演帰納法としての間欠的断言法

Intermittent-assertion method as a structural induction.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=79A0218193&from=J-GLOBAL&jstjournalNo=A0724A") }}
著者 (1件)：
VOSA ́TKA K

VOSA ́TKA K について


資料名：
Kybernetika  (Kybernetika)

Kybernetika について


巻： 15  号： 2  ページ： 122-135  発行年： 1979年 
JST資料番号： A0724A  ISSN： 0023-5954  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 旧チェコスロバキア (CSK)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラムの総体的正しさを証明する手法として標記方法を提案。...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラム理論

プログラム理論 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=79A0218193&from=J-GLOBAL&jstjournalNo=A0724A") }}
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
帰納法

帰納法 について

, 
間欠

間欠 について


前のページに戻る

TOP

BOTTOM