WEKO3
インデックスリンク
アイテム
{"_buckets": {"deposit": "1b22df7c-0ea8-4f7c-9070-6f62381b98be"}, "_deposit": {"created_by": 3, "id": "3151", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "3151"}, "status": "published"}, "_oai": {"id": "oai:bunkyo.repo.nii.ac.jp:00003151", "sets": ["238"]}, "author_link": ["4072"], "item_5_alternative_title_1": {"attribute_name": "タイトル カナ", "attribute_value_mlt": [{"subitem_alternative_title": "メイダイ ロンリ ニ オケル シンリ ノ キ ノ ホウホウ ノ イチカイシャク"}]}, "item_5_biblio_info_13": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-01-01", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "198", "bibliographicPageStart": "185", "bibliographicVolumeNumber": "34", "bibliographic_titles": [{"bibliographic_title": "情報研究"}, {"bibliographic_title": "Information and Communication Studies", "bibliographic_titleLang": "en"}]}]}, "item_5_date_43": {"attribute_name": "作成日", "attribute_value_mlt": [{"subitem_date_issued_datetime": "2010-06-04", "subitem_date_issued_type": "Created"}]}, "item_5_description_34": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "text", "subitem_description_type": "Other"}]}, "item_5_publisher_16": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "文教大学"}]}, "item_5_source_id_19": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "03893367", "subitem_source_identifier_type": "ISSN"}]}, "item_5_text_14": {"attribute_name": "出版年", "attribute_value_mlt": [{"subitem_text_value": "2006"}]}, "item_5_text_15": {"attribute_name": "出版地", "attribute_value_mlt": [{"subitem_text_value": "神奈川県茅ヶ崎市"}]}, "item_5_text_17": {"attribute_name": "出版社 カナ", "attribute_value_mlt": [{"subitem_text_value": "ブンキョウ ダイガク"}]}, "item_5_text_18": {"attribute_name": "Publisher", "attribute_value_mlt": [{"subitem_text_value": "Bunkyo University"}]}, "item_5_text_39": {"attribute_name": "本文言語", "attribute_value_mlt": [{"subitem_text_value": "日本語"}]}, "item_5_text_42": {"attribute_name": "ID", "attribute_value_mlt": [{"subitem_text_value": "BKS0000080"}]}, "item_5_text_45": {"attribute_name": "更新日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "2011/5/11"}]}, "item_5_text_46": {"attribute_name": "記録日", "attribute_value_mlt": [{"subitem_text_value": "2010/6/4"}]}, "item_5_text_47": {"attribute_name": "最終更新日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "2011/5/11"}]}, "item_5_text_48": {"attribute_name": "更新履歴(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "May 11, 2011 インデックス, 更新日 を変更"}, {"subitem_text_value": "Apr 12, 2011 タイトル カナ, 出版者 カナ, 記録日 を変更"}, {"subitem_text_value": "Jun 4, 2010 インデックス, 作成日, 抄録 を変更"}]}, "item_5_text_49": {"attribute_name": "登録者(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "bunkyo2"}]}, "item_5_text_50": {"attribute_name": "閲覧数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "871"}]}, "item_5_text_51": {"attribute_name": "ダウンロード数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "0"}]}, "item_5_text_7": {"attribute_name": "Author", "attribute_value_mlt": [{"subitem_text_value": "Matsubara, Yasuo"}]}, "item_5_text_8": {"attribute_name": "所属機関", "attribute_value_mlt": [{"subitem_text_value": "文教大学情報学部"}]}, "item_5_text_9": {"attribute_name": "Institution", "attribute_value_mlt": [{"subitem_text_value": "Bunkyo University, Faculty of Information and Communications"}]}, "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": "松原, 康夫"}], "nameIdentifiers": [{"nameIdentifier": "4072", "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": "An Interpretation of the Method of Analytic Tableaux on Propositional Logic", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "3", "path": ["238"], "permalink_uri": "https://bunkyo.repo.nii.ac.jp/records/3151", "pubdate": {"attribute_name": "公開日", "attribute_value": "2010-06-04"}, "publish_date": "2010-06-04", "publish_status": "0", "recid": "3151", "relation": {}, "relation_version_is_last": true, "title": ["命題論理における真理の木の方法の一解釈"], "weko_shared_id": -1}
命題論理における真理の木の方法の一解釈
https://bunkyo.repo.nii.ac.jp/records/3151
https://bunkyo.repo.nii.ac.jp/records/3151dc221a5d-07c6-4d76-b89a-c108758dcf72
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2010-06-04 | |||||
タイトル | ||||||
タイトル | 命題論理における真理の木の方法の一解釈 | |||||
タイトル | ||||||
タイトル | An Interpretation of the Method of Analytic Tableaux on Propositional Logic | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
アクセス権 | ||||||
アクセス権 | metadata only access | |||||
著者 |
松原, 康夫
× 松原, 康夫 |
|||||
著者 | ||||||
Matsubara, Yasuo | ||||||
所属機関 | ||||||
文教大学情報学部 | ||||||
所属機関 | ||||||
Bunkyo University, Faculty of Information and Communications | ||||||
書誌情報 |
情報研究 en : Information and Communication Studies 巻 34, p. 185-198, 発行日 2006-01-01 |
|||||
ISSN | ||||||
収録物識別子 | 03893367 | |||||
本文言語 | ||||||
日本語 | ||||||
ID | ||||||
BKS0000080 | ||||||
作成日 | ||||||
日付 | 2010-06-04 |