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: 9783540755586
Price: 277.38 RON
Availability: InStock

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Autor: Nachum Dershowitz, 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 refereed proceedings of the 14th International Conference on Logic for Pro...

Informații despre carte

Autor

Nachum Dershowitz, Andrei Voronkov

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2007

Pagini

564

EAN

9783540755586

ISBN

3540755586

Enbook ID

01569358

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

878

Dimensiuni

155 x 235 x 32

Descriere completă

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI 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

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

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