Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén

Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 01560370
Price: 52141 HUF
Availability: InStock

D. Hutter

W. Stephan

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01560370

Kiadó Springer, Berlin, november 2004

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art... Teljes leírás

Libristo kód: 01560370

331 b

52 141 Ft

Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Das widerspenstige Zeichen Daniel-Pascal Zorn

/ Kemény kötésű

11 834 Ft

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums. Stephan Hobe

/ Puha kötésű

29 133 Ft

Earthquakes and Water Chi-yuen Wang

/ Puha kötésű

52 141 Ft

Aural Design and Coherence in the Prologue of First John Jeffrey E Brickle

/ Puha kötésű

27 400 Ft

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.

Információ a könyvről

Teljes megnevezés Mechanizing Mathematical Reasoning

Szerző D. Hutter, W. Stephan

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2005

Oldalszám 570

EAN 9783540250517

ISBN 3540250514

Libristo kód 01560370

Kiadó Springer, Berlin

Súly 860

Méretek 155 x 233 x 29

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Kézbesítés

Vásárlási tanácsadó