Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1182 CZK
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

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2013

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

Libristo kód: 02267768

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Trait pour trait - Catalogue de l'exposition Montfort

Kniha

1 310 Kč

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

Brožovaná

315 Kč

Manuale di diritto dei consumi

Brožovaná

988 Kč

Warum sexualisierte Gewalt nicht angezeigt wird Eva Kubitza

Brožovaná

434 Kč

Randglossen zur hebräischen Bibel Arnold Bogumil Ehrlich

Brožovaná

873 Kč

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

Kniha

984 Kč

Puzzle 1000 Spicy Table 6000-5624

Hra

352 Kč

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

Brožovaná

794 Kč

Invicto MARCOS VAZQUEZ GARCIA

Brožovaná

513 Kč

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

Brožovaná

772 Kč

Arquitectura contemporánea en el patrimonio histórico GUIRNALDOS

Brožovaná

1 194 Kč

Gramática parda Juan García Hortelano

Brožovaná

314 Kč

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 pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic for Programming, Artificial Intelligence, and Reasoning

Autor Ken McMillan, Aart Middeldorp, Andrei Voronkov

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2013

Počet stran 794

EAN 9783642452208

ISBN 3642452205

Libristo kód 02267768

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 1200

Rozměry 155 x 235 x 44

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence