Extensions of Logic Programming

Name: Extensions of Logic Programming
Brand: Springer, Berlin
SKU: 9783540580256
Price: 52.68 EUR
Availability: InStock

4th International Workshop, ELP '93, St. Andrews, U. K., March 29 - April 1, 1993. Proceedings

Автор: Roy Dyckhoff

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.68 € 103.02 лв

The papers in this volume are extended versions of presentations at the fourth International Worksho...

Информация за книгата

Автор

Roy Dyckhoff

Език

Английски език

Корици

Книга - С меки корици

Издадена

1994

страници

368

EAN

9783540580256

ISBN

3540580255

Enbook ID

05274388

Издател

Springer, Berlin

Теглоt

488

Размери

156 x 234 x 19

Пълно описание

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Extensions of Logic Programming

4th International Workshop, ELP '93, St. Andrews, U. K., March 29 - April 1, 1993. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също