The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 3600Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.Edition: 1a edDescription: v.: digitalISBN: - 9783540328889
- QA155.7.E4 W54 2006
| Item type | Current library | Call number | URL | Copy number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA155.7.E4 W54 2006 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SpringerLink | BDIG00008927 |
Browsing Biblioteca Digital shelves, Shelving location: Colección Digital Close shelf browser (Hides shelf browser)
| QA155.7.E4 Q37 2007 Cálculo Científico | QA155.7.E4 Q37 2008 Calcolo Scientifico | QA155.7.E4 S55 2007 Maple and Mathematica A Problem Solving Approach for Mathematics / | QA155.7.E4 W54 2006 The Seventeen Provers of the World | QA161.P59 D86 2007 Positive Trigonometric Polynomials and Signal Processing Applications | QA161.P59 H46 2005 Positive Polynomials in Control | QA161.P59 J35 2006 Walsh Equiconvergence of Complex Interpolating Polynomials |
There are no comments on this title.
Log in to your account to post a comment.