Geological Literature Search (GEOLIS) (Geological Survey of Japan / AIST)

Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation - Use of Logical Programming Language "Prolog" -

Authors=SAKAMOTO Masanori, SHIONO Kiyoji

Journal/Book_names=Geoinformatics

volume=1

number=2

pages=211-217

Publish_year=1990

Publisher=Japan Society of Geoinformatics

Language_of_Text=JA

Language_of_Abs=EN, JA

ISSN=0388502X

DOI=10.6010/geoinformatics1990.1.2_211

ID=199105838

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