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: 9783662488980
Price: 19223 HUF
Availability: InStock

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Szerző: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 223 Ft

This book constitutes the proceedings of the 20th International Conference§on Logic for Programming,...

Információk a könyvről

Szerző

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

640

EAN

9783662488980

ISBN

3662488981

Enbook ID

02823127

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

9767

Méretek

155 x 235 x 37

Teljes leírás

This book constitutes the proceedings of the 20th International Conference§on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, held§in November 2015, in Suva, Fiji.§§The 43 regular papers presented together with 1 invited talk included in§this volume were carefully reviewed and selected from 92 submissions. The§series of International Conferences on Logic for Programming, Artificial§Intelligence and Reasoning (LPAR) is a forum where, year after year, some of§the most renowned researchers in the areas of logic, automated reasoning,§computational logic, programming languages and their applications come to§present cutting-edge results, to discuss advances in these fields, and to§exchange ideas in a scientifically emerging part of the world.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták