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: 9783642162411
Price: 615.55 RON
Availability: InStock

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Autor: Christian G. Fermüller, Andrei Voronkov

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

615.55 lei

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Pro...

Informații despre carte

Autor

Christian G. Fermüller, Andrei Voronkov

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

656

EAN

9783642162411

ISBN

364216241X

Enbook ID

01656779

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

938

Dimensiuni

159 x 238 x 28

Descriere completă

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010.§The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

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

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, 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