Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 02267768
Price: 19902 HUF
Availability: InStock
Author: Ken McMillan
ISBN: 9783642452208

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

Ken McMillan

Aart Middeldorp

Andrei Voronkov

Language

English

Book Paperback

Libristo code: 02267768

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2013

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

Libristo code: 02267768

136 b

19 902 Ft

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

Prepare Level 9 Teacher’s Book with Digital Pack Rod Fricker

Book

14 420 Ft

Randglossen zur hebräischen Bibel Arnold Bogumil Ehrlich

Paperback

14 859 Ft

Trait pour trait - Catalogue de l'exposition Montfort

Book

19 199 Ft

Warum sexualisierte Gewalt nicht angezeigt wird Eva Kubitza

Paperback

7 330 Ft

Manuale di diritto dei consumi

Paperback

14 480 Ft

Puzzle 1000 Spicy Table 6000-5624

Game

5 158 Ft

Invicto MARCOS VAZQUEZ GARCIA

Paperback

7 520 Ft

Les jeunes femmes de 50 ans Desclaux

Paperback

4 779 Ft

Note Sur l'Inoculation Variolique Et La Vaccination Par Le Dr Omer Marquez, Marquez-O

Paperback

5 218 Ft

Gramática parda Juan García Hortelano

Paperback

4 603 Ft

Arquitectura contemporánea en el patrimonio histórico GUIRNALDOS

Paperback

17 498 Ft

Denkschriften - Österreichische Akademie Der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, Volume 74... Österreichische Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse

Paperback

12 826 Ft

Métodos de enseñanza de la lectoescritura en la Educación Primaria Oscar Ovidio Calzadilla Pérez

Paperback

13 528 Ft

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.