1987 Symposium on Logic Programming
Title | 1987 Symposium on Logic Programming PDF eBook |
Author | |
Publisher | |
Pages | 550 |
Release | 1987 |
Genre | Computer programming |
ISBN |
Proceedings, 1987 Symposium on Logic Programming
Title | Proceedings, 1987 Symposium on Logic Programming PDF eBook |
Author | |
Publisher | |
Pages | 530 |
Release | 1987 |
Genre | Computer programming |
ISBN | 9780818687990 |
Proceedings [of The] 1987 Symposium on Logic Programming, August 31- September 4, 1987 ... San Francisco
Title | Proceedings [of The] 1987 Symposium on Logic Programming, August 31- September 4, 1987 ... San Francisco PDF eBook |
Author | Institute of Electrical and Electronics Engineers |
Publisher | |
Pages | 361 |
Release | 1987 |
Genre | Logic programming |
ISBN |
Logic Programming '87
Title | Logic Programming '87 PDF eBook |
Author | Koichi Furukawa |
Publisher | Springer Science & Business Media |
Pages | 340 |
Release | 1988-06-22 |
Genre | Computers |
ISBN | 9783540194262 |
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
Title | Logic Programming PDF eBook |
Author | David S. Warren |
Publisher | MIT Press |
Pages | 884 |
Release | 1993 |
Genre | Computers |
ISBN | 9780262731058 |
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.
FGCS '92
Title | FGCS '92 PDF eBook |
Author | |
Publisher | IOS Press |
Pages | 498 |
Release | 1992 |
Genre | Computers |
ISBN | 9789051990997 |
The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, showing how the research goals set were achieved.
Logic Programming '87
Title | Logic Programming '87 PDF eBook |
Author | Koichi Furukawa |
Publisher | |
Pages | 327 |
Release | 1988 |
Genre | |
ISBN |