Automated Deduction - CADE-25

Name: Automated Deduction - CADE-25
Brand: Springer International Publishing AG
SKU: 9783319214009
Price: 19173 HUF
Availability: InStock

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Szerző: Amy P. Felty, Aart Middeldorp

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 173 Ft

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C...

Információk a könyvről

Szerző

Amy P. Felty, Aart Middeldorp

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

640

EAN

9783319214009

ISBN

3319214004

Enbook ID

09366255

Kiadó

Springer International Publishing AG

Súly

9942

Méretek

155 x 235 x 33

Teljes leírás

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

É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-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, 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