Logic Programming '87

Logic Programming '87
Author :
Publisher : Springer Science & Business Media
Total Pages : 340
Release :
ISBN-10 : 3540194266
ISBN-13 : 9783540194262
Rating : 4/5 (262 Downloads)

Book Synopsis Logic Programming '87 by : Koichi Furukawa

Download or read book Logic Programming '87 written by Koichi Furukawa and published by Springer Science & Business Media. This book was released on 1988-06-22 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Logic Programming '87 Related Books

Logic Programming '87
Language: en
Pages: 340
Authors: Koichi Furukawa
Categories: Computers
Type: BOOK - Published: 1988-06-22 - Publisher: Springer Science & Business Media

GET EBOOK

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
Foundations of Logic Programming
Language: en
Pages: 135
Authors: J. W. Lloyd
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost
Logic Programming and Databases
Language: en
Pages: 295
Authors: Stefano Ceri
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the
MFDBS 87
Language: en
Pages: 260
Authors: Joachim Biskup
Categories: Computers
Type: BOOK - Published: 1988-04-01 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two
Logic Colloquium '87
Language: en
Pages: 387
Authors: Heinz-Dieter Ebbinghaus
Categories: Mathematics
Type: BOOK - Published: 1989 - Publisher: Elsevier

GET EBOOK

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the