Logic Programming '88
Furukawa
Broschiertes Buch

Logic Programming '88

Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

Herausgegeben: Furukawa, Koichi; Tanaka, Hozumi; Fujisaki, Tetsunosuke
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving propert...