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.

Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 01560370
Price: 2357 CZK
Availability: InStock
Author: D. Hutter
ISBN: 9783540250517

D. Hutter

W. Stephan

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01560370

Nakladatelství Springer, Berlin, listopad 2004

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art... Celý popis

Libristo kód: 01560370

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

Microtrafico de drogas en ninas y adolescentes Romero Miranda Luis Alejandro

Brožovaná

732 Kč

Das Internet der Dinge Wolfgang Odenthal

Brožovaná

289 Kč

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums. Stephan Hobe

Brožovaná

1 721 Kč

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

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 Mechanizing Mathematical Reasoning

Autor D. Hutter, W. Stephan

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2005

Počet stran 570

EAN 9783540250517

ISBN 3540250514

Libristo kód 01560370

Nakladatelství Springer, Berlin

Váha 860

Rozměry 155 x 233 x 29

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

Matematika a věda > Matematika > Matematické základy > Matematická logika

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 > Umělá inteligence