Automated Deduction - CADE-20

Name: Automated Deduction - CADE-20
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540280057
Price: 19223 HUF
Availability: InStock

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Szerző: Robert Nieuwenhuis

Nyelv:

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 20th International Conference on Automated Ded...

Információk a könyvről

Szerző

Robert Nieuwenhuis

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2005

oldal

466

EAN

9783540280057

ISBN

3540280057

Enbook ID

01560923

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

721

Méretek

155 x 235 x 26

Teljes leírás

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.§The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

Érdekelheti

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automated Deduction - CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

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