Automated Deduction - CADE-19

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

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Szerző: Franz Baader

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

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel...

Információk a könyvről

Szerző

Franz Baader

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2003

oldal

512

EAN

9783540405597

ISBN

3540405593

Enbook ID

01562844

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1600

Méretek

155 x 235 x 29

Teljes leírás

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and 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-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, 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