論理データベース向きの知識同化方式の一提案(モデル表現とその構築に関する理論と実際の研究)

宮地, 泰造; 國藤, 進; 北上, 始; 古川, 康一; 竹内, 彰一; 横田, 治夫

ダウンロード数: 143

http://hdl.handle.net/2433/103591

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
0495-9.pdf		1.74 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	宮地, 泰造	ja
dc.contributor.author	國藤, 進	ja
dc.contributor.author	北上, 始	ja
dc.contributor.author	古川, 康一	ja
dc.contributor.author	竹内, 彰一	ja
dc.contributor.author	横田, 治夫	ja
dc.contributor.alternative	Miyachi, Taizo	en
dc.contributor.alternative	Kunifuji, Susumu	en
dc.contributor.alternative	Kitakami, Hajime	en
dc.contributor.alternative	Furukawa, Koichi	en
dc.contributor.alternative	Takeuchi, Akikazu	en
dc.contributor.alternative	Yokota, Haruo	en
dc.contributor.transcription	ミヤチ, タイゾウ	ja
dc.contributor.transcription	クニフジ, ススム	ja
dc.contributor.transcription	キタカミ, ハジメ	ja
dc.contributor.transcription	フルカワ, コウイチ	ja
dc.contributor.transcription	タケウチ, アキカズ	ja
dc.contributor.transcription	ヨコタ, ハルオ	ja
dc.date.accessioned	2010-03-05T10:02:32Z	-
dc.date.available	2010-03-05T10:02:32Z	-
dc.date.issued	1983-06	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/103591	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject	Logic Database	en
dc.subject	Deductive Logic	en
dc.subject	Knowledge Acquisition	en
dc.subject	Knowledge Assimilation	en
dc.subject	PROLOG	en
dc.subject	Internal Database	en
dc.subject	Knowledge Base	en
dc.subject	Integrity Constraint	en
dc.subject	Cut Operator	en
dc.subject	Provability	en
dc.subject	Constradiction	en
dc.subject	Redundancy	en
dc.subject	Independency	en
dc.subject	Object Language	en
dc.subject	Meta Language	en
dc.subject	Amalgamation	en
dc.subject	Database Management	en
dc.subject.ndc	410	-
dc.title	論理データベース向きの知識同化方式の一提案(モデル表現とその構築に関する理論と実際の研究)	ja
dc.title.transcription	ロンリデータベースムキノチシキドウカホウシキノイチテイアンモデルヒョウゲントソノコウチクニカンスルリロントジッサイノケンキュウ	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	495	-
dc.identifier.spage	165	-
dc.identifier.epage	185	-
dc.textversion	publisher	-
dc.sortkey	09	-
dc.address	財団法人新世代コンピュータ技術開発機構	ja
dc.address	財団法人新世代コンピュータ技術開発機構	ja
dc.address	財団法人新世代コンピュータ技術開発機構	ja
dc.address	財団法人新世代コンピュータ技術開発機構	ja
dc.address	財団法人新世代コンピュータ技術開発機構	ja
dc.address	財団法人新世代コンピュータ技術開発機構	ja
dcterms.accessRights	open access	-
出現コレクション:	0495 モデル表現とその構築に関する理論と実際の研究

アイテムの簡略レコードを表示する

Export to RefWorks

このリポジトリに保管されているアイテムはすべて著作権により保護されています。