WEKO3
アイテム
{"_buckets": {"deposit": "17b9e0a1-9333-43c9-a8ab-42449d8e3584"}, "_deposit": {"created_by": 3, "id": "17306", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "17306"}, "status": "published"}, "_oai": {"id": "oai:waseda.repo.nii.ac.jp:00017306", "sets": ["1595"]}, "author_link": ["28102", "28101", "28103", "28062"], "item_10001_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1992-01", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "487", "bibliographicPageStart": "480", "bibliographicVolumeNumber": "Volume ii", "bibliographic_titles": [{"bibliographic_title": "System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on"}]}]}, "item_10001_description_42": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "text", "subitem_description_type": "Other"}]}, "item_10001_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Institute of Electrical and Electronic Engineers"}]}, "item_10001_relation_43": {"attribute_name": "シリーズ", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "IEEE CNF"}]}]}, "item_10001_rights_15": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright: Institute of Electrical and Electronic Engineers (IEEE)"}]}, "item_10001_subject_21": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "007.6", "subitem_subject_scheme": "NDC"}]}, "item_10001_subject_33": {"attribute_name": "米国議会図書館件名標目", "attribute_value_mlt": [{"subitem_subject": "Systems engineering--Congresses", "subitem_subject_scheme": "LCSH"}]}, "item_10001_text_63": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_text_value": "http://hdl.handle.net/2065/812"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Ono, K."}], "nameIdentifiers": [{"nameIdentifier": "28101", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kawano, S."}], "nameIdentifiers": [{"nameIdentifier": "28102", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Fukazawa, Yoshiaki"}], "nameIdentifiers": [{"nameIdentifier": "28062", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "1000020165252", "nameIdentifierScheme": "NRID", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000020165252"}]}, {"creatorNames": [{"creatorName": "Kadokura, T."}], "nameIdentifiers": [{"nameIdentifier": "28103", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-25"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "00183262.pdf", "filesize": [{"value": "498.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 498300.0, "url": {"label": "00183262.pdf", "url": "https://waseda.repo.nii.ac.jp/record/17306/files/00183262.pdf"}, "version_id": "cf1848d4-d57e-464f-89ad-8e3effe16ae0"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "A resolution method from predicate logic specification into executable code", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "A resolution method from predicate logic specification into executable code", "subitem_title_language": "en"}]}, "item_type_id": "10001", "owner": "3", "path": ["1595"], "permalink_uri": "http://hdl.handle.net/2065/812", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-04-23"}, "publish_date": "2008-04-23", "publish_status": "0", "recid": "17306", "relation": {}, "relation_version_is_last": true, "title": ["A resolution method from predicate logic specification into executable code"], "weko_shared_id": -1}
A resolution method from predicate logic specification into executable code
http://hdl.handle.net/2065/812
http://hdl.handle.net/2065/812256fca9f-df03-489d-8c53-ca3c6fbda689
名前 / ファイル | ライセンス | アクション |
---|---|---|
00183262.pdf (498.3 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-04-23 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | A resolution method from predicate logic specification into executable code | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
Ono, K.
× Ono, K.× Kawano, S.× Fukazawa, Yoshiaki× Kadokura, T. |
|||||
書誌情報 |
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on 巻 Volume ii, p. 480-487, 発行日 1992-01 |
|||||
権利 | ||||||
権利情報 | Copyright: Institute of Electrical and Electronic Engineers (IEEE) | |||||
日本十進分類法 | ||||||
主題 | 007.6 | |||||
米国議会図書館件名標目 | ||||||
主題 | Systems engineering--Congresses | |||||
出版者 | ||||||
出版者 | Institute of Electrical and Electronic Engineers | |||||
資源タイプ | ||||||
内容記述 | text | |||||
関連情報 | ||||||
関連名称 | IEEE CNF |