ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Lectures on proof verification and approximation algorithms
| Arabic Title : | محاضرات في إثبات إثبات وخوارزميات التقريب |
| BNB number : | GB9826041 |
| Date published : | 1998 |
| Has extent : | xii,344p. |
| Has note on contents : | Includes bibliographical references and index. |
| ISBN : | 3540642013 |
| ISBN10 : | 3540642013 |
| Title : | Lectures on proof verification and approximation algorithms |
| Contributor : | Steger Angelika Prömel H. J. (Hans Jürgen) Mayr Ernst |
| Subject : | Automatic theorem proving 005.14 Computer algorithms Approximation theory |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9826041 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Berlin ; London : Springer, c1998 |
| Url : | 007757354 |
