Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985 (Q1074558)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985 |
scientific article |
Statements
Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985 (English)
0 references
1986
0 references
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Haraguchi, Makoto}, Analogical reasoning using transformations of rules, 56-65 [Zbl 1497.68458] \textit{Hisano, T.; Suwa, M.}, Synchronization and communication in the `subject', 66-77 [Zbl 1497.68341] \textit{Ueda, Kazunori}, Guarded Horn clauses, 168-179 [Zbl 1497.68089]
0 references
Logic programming
0 references
Proceedings
0 references
Conference
0 references
Tokyo/Japan
0 references
