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: 9783642452208
Price: 1147 CZK
Availability: InStock

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Autor: Ken McMillan, Aart Middeldorp, Andrei Voronkov

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

1 147 Kč

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

Informace o knize

Autor

Ken McMillan, Aart Middeldorp, Andrei Voronkov

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2013

Stránek

794

EAN

9783642452208

ISBN

3642452205

Enbook ID

02267768

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1200

Rozměry

155 x 235 x 44

Kompletní popis

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Logic for Programming, Artificial Intelligence, and Reasoning

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také