Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985
type: Item
instance of: scholarly article
title: Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985
zbMATH Open document ID: 0591.00014
DOI: 10.1007/3-540-16479-0
published in: Lecture Notes in Computer Science
publication date: 1986-01-01T00:00:00Z
review text: 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]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 3948170
zbMATH Keywords: Logic programming
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Tokyo/Japan
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-16479-0
OpenAlex ID: W2497350472
description: scientific article; zbMATH DE number 3948170