WEKO3
アイテム
{"_buckets": {"deposit": "afb95b0a-a5dc-4060-9768-0285f12cf12a"}, "_deposit": {"id": "2005736", "owners": [1], "pid": {"revision_id": 0, "type": "depid", "value": "2005736"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:02005736", "sets": ["1665016641499", "1665016686408"]}, "author_link": [], "item_4_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2000", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "67", "bibliographicPageStart": "55", "bibliographicVolumeNumber": "47", "bibliographic_titles": [{"bibliographic_title": "Journal of the School of Engineering, the University of Tokyo = 東京大学工学部・工学系研究科紀要"}]}]}, "item_4_publisher_20": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "School of Engineering, the University of Tokyo", "subitem_publisher_language": "en"}]}, "item_4_source_id_10": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA11279517", "subitem_source_identifier_type": "NCID"}]}, "item_4_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "13442929", "subitem_source_identifier_type": "PISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorAffiliations": [{"affiliationNames": [{"affiliationName": "The University of Tokyo", "affiliationNameLang": "en"}]}], "creatorNames": [{"creatorName": "FUJITA, Masahiro", "creatorNameLang": "en"}, {"creatorName": "藤田, 昌宏", "creatorNameLang": "ja"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"date": [{"dateType": "Available", "dateValue": "2022-10-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "JFEUT_B_47_55-67_2000.pdf", "filesize": [{"value": "3.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 3300000.0, "url": {"objectType": "fulltext", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/2005736/files/JFEUT_B_47_55-67_2000.pdf"}, "version_id": "31594bbe-5859-4d72-83f7-b551cea7b3ba"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Formal Verification Based on Recurrence Equations and Equivalence Checking", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Formal Verification Based on Recurrence Equations and Equivalence Checking", "subitem_title_language": "en"}]}, "item_type_id": "4", "owner": "1", "path": ["1665016641499", "1665016686408"], "permalink_uri": "http://hdl.handle.net/2261/0002005736", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2022-10-20"}, "publish_date": "2022-10-20", "publish_status": "0", "recid": "2005736", "relation": {}, "relation_version_is_last": true, "title": ["Formal Verification Based on Recurrence Equations and Equivalence Checking"], "weko_shared_id": -1}
Formal Verification Based on Recurrence Equations and Equivalence Checking
http://hdl.handle.net/2261/0002005736
http://hdl.handle.net/2261/00020057361d174e7c-29d0-4574-ad66-150f9be3944a
名前 / ファイル | ライセンス | アクション |
---|---|---|
JFEUT_B_47_55-67_2000.pdf (3.3 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2022-10-20 | |||||||||
タイトル | ||||||||||
タイトル | Formal Verification Based on Recurrence Equations and Equivalence Checking | |||||||||
言語 | en | |||||||||
言語 | ||||||||||
言語 | eng | |||||||||
資源タイプ | ||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||
タイプ | departmental bulletin paper | |||||||||
著者 |
藤田, 昌宏
× 藤田, 昌宏
|
|||||||||
書誌情報 |
Journal of the School of Engineering, the University of Tokyo = 東京大学工学部・工学系研究科紀要 巻 47, p. 55-67, 発行日 2000 |
|||||||||
ISSN | ||||||||||
収録物識別子タイプ | PISSN | |||||||||
収録物識別子 | 13442929 | |||||||||
書誌レコードID | ||||||||||
収録物識別子タイプ | NCID | |||||||||
収録物識別子 | AA11279517 | |||||||||
出版者 | ||||||||||
言語 | en | |||||||||
出版者 | School of Engineering, the University of Tokyo |