Computational Logic - CL 2000

Name: Computational Logic - CL 2000
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540677970
Price: 52.85 EUR
Availability: InStock

First International Conference London, UK, July 24-28, 2000 Proceedings

Автор: John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber

Език:

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

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

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

52.85 € 103.37 лв

This book constitutes the refereed proceedings of the First International Conference on Computationa...

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

Автор

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber

Език

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

Корици

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

Издадена

2000

страници

1382

EAN

9783540677970

ISBN

3540677976

Enbook ID

01567519

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

2154

Размери

155 x 235 x 51

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

This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Computational Logic - CL 2000

First International Conference London, UK, July 24-28, 2000 Proceedings

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

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

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

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