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
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 10th International Conference on Logic Program...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2003
Stránek
436
EAN
9783540201014
ISBN
3540201017
Enbook ID
01558600
Hmotnost
1400
Rozměry
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 zajímat

4 566
4 016

Bahrain

Emile Nakhleh
1 413
308
428

Labor Matters

Roderick O Ford J D
783

Ebony Enigma

Lottie Lawrence
372
1 478
852

Albion's Story

Kate Grenville
380

At the Earth's Core

Edgar Rice Burroughs
301

Maddie's Reading Log

Martha Day Zschock
185

The Holdout

Laurel Osterkamp
234
540
1 385

Zákaznicí kteří koupili tuto knihu koupili také

Silencer T04

Sho Fumimura
281
331

Pharmakovigilanz

Sachdev Yadav
1 200

Poník má problémy

Jeanne Betancourt
133

Friedrich Tabellenbuch

Werner Beermann
1 099
714
200

Barfussele

Berthold Auerbach
494
631

Cyber-Sicherheit

Hans-Jürgen Lange
1 151