Automated Deduction - CADE-21 (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med Adobe-kryptering
Om Adobe-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2007-09-04
Förlag
Springer Berlin Heidelberg
ISBN
9783540735953
Automated Deduction - CADE-21 (e-bok)

Automated Deduction - CADE-21 E-bok

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

av Frank Pfenning
E-bok (PDF - DRM), Engelska, 2007-09-04
710
Ladda ned
Spara som favorit
Läs i Adobe DRM-kompatibel e-boksläsare. Tips på appar
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Frank Pfenning

Du kanske gillar