1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0511 ソフトウェア科学・工学の数理的方法
このアイテムのアクセス数: 294

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/98321
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0511-11.pdf1.27 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorSakai, K.en
dc.contributor.authorMiyachi, T.en
dc.contributor.alternative坂井, 公ja
dc.contributor.alternative宮地, 泰造ja
dc.date.accessioned2010-03-03T04:09:18Z-
dc.date.available2010-03-03T04:09:18Z-
dc.date.issued1984-02-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/98321-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleINCORPORATING NAIVE NEGATION INTO PROLOGen
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume511-
dc.identifier.spage223-
dc.identifier.epage241-
dc.textversionpublisher-
dc.sortkey11-
dc.addressInstitute for New Generation Computer Technologyen
dc.addressInstitute for New Generation Computer Technologyen
dc.address.alternative財団法人新世代コンピュータ技術開発機構(ICOT)ja
dc.address.alternative財団法人新世代コンピュータ技術開発機構(ICOT)ja
dcterms.accessRightsopen access-
出現コレクション:0511 ソフトウェア科学・工学の数理的方法

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。