Related Books
Language: es
Pages:
Pages:
Type: BOOK - Published: - Publisher:
Language: en
Pages: 232
Pages: 232
Type: BOOK - Published: 1996 - Publisher:
Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather t
Language: en
Pages: 271
Pages: 271
Type: BOOK - Published: 2013-07-04 - Publisher: Courier Corporation
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathemat
Language: en
Pages: 676
Pages: 676
Type: BOOK - Published: 1995 - Publisher: MIT Press
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences
Language: en
Pages: 317
Pages: 317
Type: BOOK - Published: 2004-03-24 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April