Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Automated Deduction - CADE-15 Claude Kirchner

Automated Deduction - CADE-15

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

Szerző: Claude Kirchner, Helene Kirchner
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 223 Ft
This book constitutes the refereed proceedings of the 15th International Conference on Automated Ded...

Információk a könyvről

Szerző
Claude Kirchner, Helene Kirchner
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1998
oldal
450
EAN
9783540646754
ISBN
3540646752
Enbook ID
01566707
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
1430
Méretek
155 x 235 x 25

Teljes leírás

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.

Érdekelheti

10th International Conference on Automated Deduction

Mark E. Stickel
53 624 Ft

Alias Bob Dylan: Revisited

Stephen Scobie
4 147 Ft

Forestry and Natural Resources

MALCOLM FISHER
44 946 Ft

Evolve Level 3B Student's Book

Leslie Anne Hendra
11 893 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Le club des tricoteuses

JACOBS-K
4 192 Ft