Geological Literature
Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation - Use of Logical Programming Language "Prolog" -
SAKAMOTO Masanori, SHIONO Kiyoji
| item | description |
|---|---|
| Title | Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation - Use of Logical Programming Language "Prolog" - |
| Authors | SAKAMOTO Masanori, SHIONO Kiyoji |
| Data name | Geoinformatics |
| Volume | 1 |
| Num | 2 |
| Page | 211-217 |
| Year | 1990 |
| Publisher | Japan Society of Geoinformatics |
| Language | JA |
| Abstract language | EN, JA |
| ISSN | 0388502X |
| GEOLIS URL | https://darc.gsj.jp/archives/detail?cls=geolis&pkey=199105838 |
| DOI | 10.6010/geoinformatics1990.1.2_211 |
| @id | https://gbank.gsj.jp/ld/resource/geolis/199105838 |