Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 51.75 EUR
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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02267768

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2013

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

Libristo kód: 02267768

125 b

51.75 €

Skladom u dodávateľa Odosielame za 8-11 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Trait pour trait - Catalogue de l'exposition Montfort

Kniha

54.18 €

Manuale di diritto dei consumi

Brožovaná

40.91 €

Warum sexualisierte Gewalt nicht angezeigt wird Eva Kubitza

Brožovaná

19.03 €

Randglossen zur hebräischen Bibel Arnold Bogumil Ehrlich

Brožovaná

38.38 €

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

Kniha

40.71 €

Puzzle 1000 Spicy Table 6000-5624

Hra

14.57 €

Invicto MARCOS VAZQUEZ GARCIA

Brožovaná

21.26 €

Les jeunes femmes de 50 ans Desclaux

Brožovaná

13.46 €

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

Brožovaná

34.93 €

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

Brožovaná

31.89 €

Arquitectura contemporánea en el patrimonio histórico GUIRNALDOS

Brožovaná

49.42 €

Gramática parda Juan García Hortelano

Brožovaná

12.95 €

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

Brožovaná

13.06 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logic for Programming, Artificial Intelligence, and Reasoning

Autor Ken McMillan, Aart Middeldorp, Andrei Voronkov

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2013

Počet strán 794

EAN 9783642452208

ISBN 3642452205

Libristo kód 02267768

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 1200

Rozmery 155 x 235 x 44

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia