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: 01560435
Price: 2357 CZK
Availability: InStock
Author: Franz Baader
ISBN: 9783540252368

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader

Andrei Voronkov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01560435

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2005

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Pro... Celý popis

Libristo kód: 01560435

236 b

2 357 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

MIKADO - 2022

Hračka

359 Kč

Alberi Lemniscates

Pevná

380 Kč

QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES DIETER SCHNEBEL Tiskovina

Noty

1 969 Kč

PORTRAITS LITTERAIRES De Quincey

Brožovaná

657 Kč

Nathan et les Territoires maudits Enza

Brožovaná

357 Kč

misura della felicità. Il '700 eclettico di Francesco Maria Zanotti Alberto Panighetti

Brožovaná

811 Kč

Medical Food, 1 Audio-CD, MP3 Anthony William

Audio CD

395 Kč

Entkrümmt Stefan Schlager

Brožovaná

370 Kč

Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts Thomas Tschaler

Brožovaná

1 664 Kč

Historia de la bicicleta de un hombre lagarto FINA CASALDERREY

Brožovaná

288 Kč

Une Drole De Saint-Valentin! Chloe Lapierre

Brožovaná

315 Kč

Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours Summer-M

Brožovaná

358 Kč

55 Spiele für den Kindergeburtstag Arno Backhaus

Brožovaná

157 Kč

Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs

Brožovaná

369 Kč

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.§The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

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 Franz Baader, Andrei Voronkov

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2005

Počet stran 560

EAN 9783540252368

ISBN 3540252363

Libristo kód 01560435

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

Váha 973

Rozměry 155 x 235 x 36

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í > 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

Výpočetní a informační technologie > Operační systémy