Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642175107
Price: 277.38 RON
Availability: InStock

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Autor: Edmund M. Clarke, Andrei Voronkov

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International...

Informații despre carte

Autor

Edmund M. Clarke, Andrei Voronkov

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

517

EAN

9783642175107

ISBN

3642175104

Enbook ID

01657129

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

791

Dimensiuni

155 x 235 x 29

Descriere completă

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

S-ar putea să te intereseze

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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