WEKO3
アイテム
{"_buckets": {"deposit": "c4773e91-52ab-4ae0-8645-e0152bb2ec34"}, "_deposit": {"created_by": 3, "id": "8691", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "8691"}, "status": "published"}, "_oai": {"id": "oai:ksu.repo.nii.ac.jp:00008691", "sets": ["576"]}, "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": "1995-07", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1", "bibliographicPageEnd": "85", "bibliographicPageStart": "79", "bibliographicVolumeNumber": "12", "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": "9", "subitem_description_type": "Other"}]}, "item_2_description_16": {"attribute_name": "アクセション番号", "attribute_value_mlt": [{"subitem_description": "KJ00000558137", "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 Logic Design Verification", "subitem_title_language": "en"}]}, "item_type_id": "2", "owner": "3", "path": ["576"], "permalink_uri": "http://hdl.handle.net/10965/00008682", "pubdate": {"attribute_name": "公開日", "attribute_value": "2018-02-01"}, "publish_date": "2018-02-01", "publish_status": "0", "recid": "8691", "relation": {}, "relation_version_is_last": true, "title": ["形式的論理設計検証に関する研究"], "weko_shared_id": -1}
形式的論理設計検証に関する研究
http://hdl.handle.net/10965/00008682
http://hdl.handle.net/10965/0000868205ed8701-1f3b-4642-9372-e3c3af5fb359
Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2018-02-01 | |||||
タイトル | ||||||
タイトル | 形式的論理設計検証に関する研究 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Formal Logic 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 巻 12, 号 1, p. 79-85, 発行日 1995-07 |
|||||
表示順 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 9 | |||||
アクセション番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | KJ00000558137 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0288-8440 |