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.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562445
Price: 2357 CZK
Availability: InStock
Author: Ulrich Furbach
ISBN: 9783540371878

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ulrich Furbach

Natarajan Shankar

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01562445

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

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Celý popis

Libristo kód: 01562445

236 b

2 357 Kč

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

Až 30 dní na vrácení zboží

Zákazníci také koupili

Spieltheorie fur Dummies Erwin Amann

Brožovaná

358 Kč

Velké logopedické pexeso 2 Ilona Eichlerová

Brožovaná

149 Kč

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding

Brožovaná

3 223 Kč

Mirai Nikki 06 Sakae Esuno

Brožovaná

260 Kč

Wheatgrass: (Hierba de Trigo) Neil Stevens

Brožovaná

247 Kč

Guia Practica del Rolex Vintage Colin A. Whte

Brožovaná

1 012 Kč

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

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 Automated Reasoning

Autor Ulrich Furbach, Natarajan Shankar

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2006

Počet stran 688

EAN 9783540371878

ISBN 3540371877

Libristo kód 01562445

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

Váha 2140

Rozměry 152 x 229 x 38

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 > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech

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