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: 475.68 PLN
Availability: InStock

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

Autor: Christian G. Fermüller, Andrei Voronkov

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

475.68 zł

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

Informacje o książce

Autor

Christian G. Fermüller, Andrei Voronkov

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2010

strony

656

EAN

9783642162411

ISBN

364216241X

Enbook ID

01656779

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

938

Wymiary

159 x 238 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logic for Programming, Artificial Intelligence, and Reasoning

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również