WEKO3
アイテム
{"_buckets": {"deposit": "32579194-d360-4f14-aa2d-5ed7957d6d03"}, "_deposit": {"created_by": 3, "id": "8722", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "8722"}, "status": "published"}, "_oai": {"id": "oai:ksu.repo.nii.ac.jp:00008722", "sets": ["580"]}, "author_link": ["20907"], "item_2_alternative_title_3": {"attribute_name": "論文名よみ", "attribute_value_mlt": [{"subitem_alternative_title": "ケイシキテキ セッケイ ケンショウ"}]}, "item_2_biblio_info_12": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1993-10", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1", "bibliographicPageEnd": "145", "bibliographicPageStart": "139", "bibliographicVolumeNumber": "10", "bibliographic_titles": [{"bibliographic_title": "京都産業大学計算機科学研究所所報"}, {"bibliographic_title": "The bulletin of the Institute of Computer Sciences Kyoto Sangyo University", "bibliographic_titleLang": "en"}]}]}, "item_2_description_15": {"attribute_name": "表示順", "attribute_value_mlt": [{"subitem_description": "6", "subitem_description_type": "Other"}]}, "item_2_description_16": {"attribute_name": "アクセション番号", "attribute_value_mlt": [{"subitem_description": "KJ00000558094", "subitem_description_type": "Other"}]}, "item_2_description_2": {"attribute_name": "ページ属性", "attribute_value_mlt": [{"subitem_description": "P", "subitem_description_type": "Other"}]}, "item_2_source_id_1": {"attribute_name": "雑誌書誌ID", "attribute_value_mlt": [{"subitem_source_identifier": "AN10026642", "subitem_source_identifier_type": "NCID"}]}, "item_2_source_id_19": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0288-8440", "subitem_source_identifier_type": "ISSN"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "metadata only access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_14cb"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "平石, 裕実"}, {"creatorName": "ヒライシ, ヒロミ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Hiraishi, Hiromi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "20907", "nameIdentifierScheme": "WEKO"}]}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "形式的設計検証", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "形式的設計検証"}, {"subitem_title": "Formal Design Verification", "subitem_title_language": "en"}]}, "item_type_id": "2", "owner": "3", "path": ["580"], "permalink_uri": "http://hdl.handle.net/10965/00008713", "pubdate": {"attribute_name": "公開日", "attribute_value": "2018-02-01"}, "publish_date": "2018-02-01", "publish_status": "0", "recid": "8722", "relation": {}, "relation_version_is_last": true, "title": ["形式的設計検証"], "weko_shared_id": -1}
形式的設計検証
http://hdl.handle.net/10965/00008713
http://hdl.handle.net/10965/000087132ee622dd-6bc8-4426-bf12-ddf26a97b172
Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2018-02-01 | |||||
タイトル | ||||||
タイトル | 形式的設計検証 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Formal Design Verification | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
アクセス権 | ||||||
アクセス権 | metadata only access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
雑誌書誌ID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN10026642 | |||||
ページ属性 | ||||||
内容記述タイプ | Other | |||||
内容記述 | P | |||||
論文名よみ | ||||||
その他のタイトル | ケイシキテキ セッケイ ケンショウ | |||||
著者 |
平石, 裕実
× 平石, 裕実 |
|||||
書誌情報 |
京都産業大学計算機科学研究所所報 en : The bulletin of the Institute of Computer Sciences Kyoto Sangyo University 巻 10, 号 1, p. 139-145, 発行日 1993-10 |
|||||
表示順 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 6 | |||||
アクセション番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | KJ00000558094 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0288-8440 |