地質文献データベース (GEOLIS) [(国研)産業技術総合研究所地質調査総合センター編]

記号論理演算による層序組み立てのための基本アルゴリズム--論理型言語Prologを用いて--

論文題名(英語)=Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation - Use of Logical Programming Language "Prolog" -

著者(日本語)=坂本 正徳, 塩野 清治

著者(英語)=SAKAMOTO Masanori, SHIONO Kiyoji

資料名(日本語)=情報地質

資料名(英語)=Geoinformatics

巻=1

号=2

頁=211-217

発行年=1990

発行者(日本語)=日本情報地質学会

発行者(英語)=Japan Society of Geoinformatics

論文の言語区分=JA

アブストラクトの言語区分=EN, JA

ISSN番号=0388502X

DOI=10.6010/geoinformatics1990.1.2_211

ID=199105838

@id=https://gbank.gsj.jp/ld/resource/geolis/199105838