Automated Deduction - CADE-21

Name: Automated Deduction - CADE-21
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540735946
Price: 275.89 RON
Availability: InStock

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Autor: Frank Pfenning

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.89 lei

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o...

Informații despre carte

Autor

Frank Pfenning

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2007

Pagini

524

EAN

9783540735946

ISBN

3540735941

Enbook ID

01568871

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

813

Dimensiuni

155 x 235 x 29

Descriere completă

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Automated Deduction - CADE-21

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și