擬似ブール関数およびブール関数の数式処理システム : BALOC (電子計算機による数式処理)
スポンサーリンク
概要
著者
関連論文
- パターン記述に基づくLISPプログラムの変換
- パターン記述されたデータによるLISPプログラムの変換
- 気象に関する知識ベースシステムの構成
- 知識ベースに基づいた図書目録カードの理解
- 知識ベースに基づいた図書目録カードの理解
- 構造記述を用いた書誌項目域の自動分割
- 書誌情報ファイルの処理に対する効率評価
- 書誌情報のファイル格納に関する効率評価
- 画像処理および画像理解に関する文献データベースの作成と分析 (コンピュータビジョン)
- 意味表現モデルに基づいたデータベース・システム
- データベース操作の高度化に対する意味情報の表現
- 道路網の階層的表現にもとづく経路探索アルゴリズムと地図情報システムへの応用
- 地図情報システムにおける略図生成機能の実現
- 天気図の符号化とその天気図データベース・システム実現への応用
- FORTRANによって実現された会話型LISPシステムとその応用
- 多種データ形態適応型エディタの処理系
- 多種データ形態適用型エディタの実現方式
- 共通的知識による異種天気図の読み取り
- ワークステーション上でのマイクロプログラムPrologインタプリタの構成について(知識ベースとデータベースの統合化に関する研究)
- ハッシングの技法を用いた数式処理アルゴリズムとその擬似ブール計画法への応用
- 準最適2分探索木の top-down 的構成アルゴリズム
- 名古屋大学工学部情報処理関係研究室紹介
- 記号処理にもとづくブール関数の数式処理システム(BALOC-3)
- FORTRAN に基づく記号処理システム(COSMOS-2)
- ブール関数の数式処理システム
- 市街地地図における略図に対応した道路図の抽出
- 擬似ブール関数およびブール関数の数式処理システム : BALOC (電子計算機による数式処理)
- ボロノイ線図抽出アルゴリズムとその等高線図処理への応用
- ソフトウェアの新しい動き (高次情報通信技術とメカトロニクス)