Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Zjistit stav objednávky

Kontaktujte nás

Automated Deduction - CADE-15

Name: Automated Deduction - CADE-15
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540646754
Price: 1147 CZK
Availability: InStock

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

Autor: Claude Kirchner, Helene Kirchner

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Claude Kirchner, Helene Kirchner

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1998

Stránek

450

EAN

9783540646754

ISBN

3540646752

Enbook ID

01566707

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1430

Rozměry

155 x 235 x 25

Kompletní popis

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.