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 Deduction - CADE-15

Name: Automated Deduction - CADE-15
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566707
Price: 1182 CZK
Availability: InStock
Author: Claude Kirchner
ISBN: 9783540646754

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Claude Kirchner

Helene Kirchner

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01566707

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 1998

This book constitutes the refereed proceedings of the 15th International Conference on Automated Ded... Celý popis

Libristo kód: 01566707

118 b

1 182 Kč

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

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

Zákazníci také koupili

Le club des tricoteuses JACOBS-K

Brožovaná

294 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

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 Deduction - CADE-15

Autor Claude Kirchner, Helene Kirchner

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1998

Počet stran 450

EAN 9783540646754

ISBN 3540646752

Libristo kód 01566707

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

Váha 1430

Rozměry 155 x 235 x 25

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 > 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 > Počítačové programování/softwarové inženýrství