資料詳細
| 項 目 | 内 容 |
|---|---|
| 論文題名 | 記号論理演算による層序組み立てのための基本アルゴリズム--論理型言語Prologを用いて-- |
| 論文題名(英語) | Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation - Use of Logical Programming Language "Prolog" - |
| 資料名 | 情報地質 |
| 資料名(英語) | Geoinformatics |
| 著者 | 坂本 正徳, 塩野 清治 |
| 著者(英語) | SAKAMOTO Masanori, SHIONO Kiyoji |
| 巻 | 1 |
| 号 | 2 |
| 頁 | 211-217 |
| 発行年 | 1990 |
| 発行者 | 日本情報地質学会 |
| 発行者(英語) | Japan Society of Geoinformatics |
| 論文の言語区分 | 日本語 (Japanese) |
| アブストラクトの言語区分 | 英語 (English)、日本語 (Japanese) |
| ISSN | 0388502X |
| DOI | 10.6010/geoinformatics1990.1.2_211 |
| ID | 199105838 |