書誌情報	ファイル
表紙・目次    (1984-06)   数理解析研究所講究録, 525
画像知識データベースシステムの構成について(情報の構造化と意味に関する研究)   打浪, 清一 (1984-06)   数理解析研究所講究録, 525: 1-17
位相情報空間型データベースシステムのエンドユーザ言語とその処理系について(情報の構造化と意味に関する研究)   上田, 修功; 打浪, 清一; 手塚, 慶一 (1984-06)   数理解析研究所講究録, 525: 18-41
文献情報検索システムAIR(情報の構造化と意味に関する研究)   篠原, 武; 二村, 祥一; 松尾, 文碩 (1984-06)   数理解析研究所講究録, 525: 42-56
LANとパソコンからなる分散型データベースシステムLISについて(情報の構造化と意味に関する研究)   滝沢, 誠; 横塚, 実 (1984-06)   数理解析研究所講究録, 525: 57-77
分散型関係データベースシステムにおけるテーブルの分割と重複(情報の構造化と意味に関する研究)   増永, 良文 (1984-06)   数理解析研究所講究録, 525: 78-99
大容量主記憶のものでのファイルの構成法(情報の構造化と意味に関する研究)   小島, 功; 上林, 弥彦 (1984-06)   数理解析研究所講究録, 525: 100-123
従属性を考慮したネットワークデータベースの設計(情報の構造化と意味に関する研究)   上林, 彌彦; 古川, 哲也 (1984-06)   数理解析研究所講究録, 525: 124-143
フォームの設計法(情報の構造化と意味に関する研究)   上林, 弥彦 (1984-06)   数理解析研究所講究録, 525: 144-158
A DATA MANIPULATION MODEL : AN EXTENSION OF THE ALPHA EXPRESSION   KOBAYASHI, Isamu (1984-06)   数理解析研究所講究録, 525: 159-169
知識情報処理に関する一考察(情報の構造化と意味に関する研究)   大須賀, 節雄 (1984-06)   数理解析研究所講究録, 525: 170-186
知識ベースシステムKAUSによるモデル構築(情報の構造化と意味に関する研究)   韓, 圭東; 大須賀, 節雄; 山内, 平行 (1984-06)   数理解析研究所講究録, 525: 187-191
KAUSによるグラフの知識表現と基本操作(情報の構造化と意味に関する研究)   山内, 平行; 大須賀, 節雄 (1984-06)   数理解析研究所講究録, 525: 192-212
知識ベースにおける論理型手続き起動のメカニズム(情報の構造化と意味に関する研究)   島, 健一 (1984-06)   数理解析研究所講究録, 525: 213-224
合金設計におけるモデリング(情報の構造化と意味に関する研究)   岩田, 修一 (1984-06)   数理解析研究所講究録, 525: 225-244
最大類比と極大類比について(情報の構造化と意味に関する研究)   原口, 誠 (1984-06)   数理解析研究所講究録, 525: 245-252
Toposを用いた意味論モデル(情報の構造化と意味に関する研究)   水上, 達就 (1984-06)   数理解析研究所講究録, 525: 253-271
PROLOGの情報空間モデル(情報の構造化と意味に関する研究)   田中, 譲 (1984-06)   数理解析研究所講究録, 525: 272-283
論理型言語によるメタ推論とその応用(情報の構造化と意味に関する研究)   國藤, 進; 北上, 始; 宮地, 泰造; 竹内, 彰一; 横田, 治夫; 古川, 康一; 上田, 和紀 (1984-06)   数理解析研究所講究録, 525: 284-291
部品化ソフトウェア - その概念と課題(情報の構造化と意味に関する研究)   小林, 要; 中川, 徹 (1984-06)   数理解析研究所講究録, 525: 292-314