WEKO3
アイテム
{"_buckets": {"deposit": "0b1a9636-d3fd-409f-a0db-235a1bde9193"}, "_deposit": {"created_by": 3, "id": "8620", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "8620"}, "status": "published"}, "_oai": {"id": "oai:ksu.repo.nii.ac.jp:00008620", "sets": ["567"]}, "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": "2000-09", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1", "bibliographicPageEnd": "60", "bibliographicPageStart": "55", "bibliographicVolumeNumber": "17", "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": "KJ00000558205", "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_2_text_6": {"attribute_name": "著者所属(日)", "attribute_value_mlt": [{"subitem_text_value": "京都産業大学工学部"}]}, "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": ["567"], "permalink_uri": "http://hdl.handle.net/10965/00008611", "pubdate": {"attribute_name": "公開日", "attribute_value": "2018-02-01"}, "publish_date": "2018-02-01", "publish_status": "0", "recid": "8620", "relation": {}, "relation_version_is_last": true, "title": ["形式的論理設計検証の研究"], "weko_shared_id": -1}
形式的論理設計検証の研究
http://hdl.handle.net/10965/00008611
http://hdl.handle.net/10965/00008611fb0c1ffe-003d-49ca-8d80-8c0665073f32
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 巻 17, 号 1, p. 55-60, 発行日 2000-09 |
|||||
表示順 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 6 | |||||
アクセション番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | KJ00000558205 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0288-8440 |