セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究
Title Transcription: セキュリティオコウリョシタマルチエージェントノフルマイノケンショウニカンスルジクウカンロンリノケンキュウ
Author/Editor: 高橋和子, 関西学院大学 [著]
Author Heading: 高橋, 和子タカハシ, カズコ
関西学院大学カンセイガクインダイガク
Publication, Distribution, etc.: [高橋和子]
Publication Date: 2002-2004
2005.3
Publication Date (W3CDTF): 2002
2004
Extent: 96p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: マルチエージェント / セキュリティ / 時空間推論 / RCC / 知識表現 / 検証系マルチエージェント / セキュリティ / ジクウカンスイロン / RCC / チシキヒョウゲン / ケンショウケイ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 14580434
Holding library: 国立国会図書館
Call No.: Y151-H14580434
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007867936
http://id.ndl.go.jp/bib/000007867936
Bibliographic Record Category (NDL): 214