Kniha Computational Logic - CL 2000 John Lloyd

Computational Logic - CL 2000

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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This book constitutes the refereed proceedings of the First International Conference on Computationa...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2000
Stránok
1382
EAN
9783540677970
ISBN
3540677976
Enbook ID
01567519
Hmotnosť
2154
Rozmery
155 x 235 x 51

Kompletný popis

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.

Mohlo by vás zaujímať

162.98
314.18

Book of Stones

Robert Simmons
19.64

Perfect Me

Heather Widdows
28.38
36.24
6.77
69.84
21.31

Transitional Justice

Alexander Laban Hinton
39.29

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Der Laser

K. Dinstl
51.57

Hunsrück

Volker Kneidl
15.71