Könyv Computational Logic - CL 2000 John Lloyd

Computational Logic - CL 2000

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the refereed proceedings of the First International Conference on Computationa...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2000
oldal
1382
EAN
9783540677970
ISBN
3540677976
Enbook ID
01567519
Súly
2154
Méretek
155 x 235 x 51

Teljes leírás

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.

Érdekelheti

62 070 Ft
119 675 Ft

Book of Stones

Robert Simmons
6 954 Ft

Perfect Me

Heather Widdows
11 387 Ft
14 530 Ft
2 730 Ft
27 706 Ft
8 375 Ft

Transitional Justice

Alexander Laban Hinton
14 714 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Der Laser

K. Dinstl
19 834 Ft

Hunsrück

Volker Kneidl
6 070 Ft