Kniha Logic for Programming, Artificial Intelligence, and Reasoning Moshe Vardi

Logic for Programming, Artificial Intelligence, and Reasoning

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

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

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2003
Stránok
436
EAN
9783540201014
ISBN
3540201017
Enbook ID
01558600
Hmotnosť
1400
Rozmery
155 x 233 x 25

Kompletný popis

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

Mohlo by vás zaujímať

199.61
175.76

Bahrain

Emile Nakhleh
61.53
13.53
17.66
10.98

Labor Matters

Roderick O Ford J D
34.05

Ebony Enigma

Lottie Lawrence
15.40
61.13
35.22

Albion's Story

Kate Grenville
15.69

At the Earth's Core

Edgar Rice Burroughs
12.45

Maddie's Reading Log

Martha Day Zschock
7.65

The Holdout

Laurel Osterkamp
9.61
23.35
57.21

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

36.99

Silencer T04

Sho Fumimura
11.57
11.89

Pharmakovigilanz

Sachdev Yadav
52.69

Poník má problémy

Jeanne Betancourt
5.09

Friedrich Tabellenbuch

Werner Beermann
47.79
31.20
8.72

Barfussele

Berthold Auerbach
21.68
27.67

Cyber-Sicherheit

Hans-Jürgen Lange
50.34