Cover Image

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /

Show other versions (1)

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular in...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), Logic Programming Conference
Other Authors: Furukawa, Kōichi, Tanaka, H. (Hozumi), Fujisaki, T. (Tetsunosuke)
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1988.
Series:Lecture notes in computer science ; 315.
Subjects:
Logic programming > Congresses.
Logic programming.
Programmation logique > Congrès.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.
Item Description:"Papers presented at the Sixth Logic Programming Conference"--Foreword.
Electronic resource.
Physical Description:1 online resource (vi, 327 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783540392675 (electronic bk.)
354039267X (electronic bk.)