地質文献データベース (GEOLIS) [(国研)産業技術総合研究所地質調査総合センター編]
論文題名（英語）=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