Carte Computational Logic - CL 2000 John Lloyd

Computational Logic - CL 2000

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

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the refereed proceedings of the First International Conference on Computationa...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2000
Pagini
1382
EAN
9783540677970
ISBN
3540677976
Enbook ID
01567519
Greutate
2154
Dimensiuni
155 x 235 x 51

Descriere completă

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.

S-ar putea să te intereseze

895.27 lei
1 726.04 lei

Book of Stones

Robert Simmons
102.94 lei

Perfect Me

Heather Widdows
164.22 lei
209.53 lei
39.33 lei
219.44 lei
400.35 lei
119.42 lei

Transitional Justice

Alexander Laban Hinton
217.92 lei

Clienții care au cumpărat această carte au mai cumpărat și

Der Laser

K. Dinstl
284.97 lei

Hunsrück

Volker Kneidl
87.16 lei
108.00 lei