文書・図像類

法令文書を対象とした論理推論技術

Icons representing 文書・図像類

法令文書を対象とした論理推論技術

Material type
文書・図像類
Author
東条, 敏
Publisher
-
Publication date
2007-09-07
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

北陸先端科学技術大学院大学 21世紀COEシンポジウム「検証進化可能電子社会」 = JAIST 21st Century COE Symposium “Verifiable and Evolvable e-Society”, 開催:2007年9月6日~7日, 開催場所:キャンパス・イノベーションセン...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • JAIST Repository

    Digital
    You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース(IRDB)(機関リポジトリ) is linked at the site of 学術機関リポジトリデータベース(IRDB)(機関リポジトリ).

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Author/Editor
東条, 敏
Author Heading
Publication Date
2007-09-07
Publication Date (W3CDTF)
2007-09-07
Pages
1-27
Text Language Code
jpn
Target Audience
一般
Note (General)
北陸先端科学技術大学院大学 21世紀COEシンポジウム「検証進化可能電子社会」 = JAIST 21st Century COE Symposium “Verifiable and Evolvable e-Society”, 開催:2007年9月6日~7日, 開催場所:キャンパス・イノベーションセンター東京 国際会議室(1F)
2007年9月7日(金), 「JAIST-COE シンポジウム:法令工学の可能性と展望」発表資料
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/8262